diff options
| author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 11:41:06 +0200 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-07-05 16:01:32 +0700 |
| commit | 7f26b9929fe95171f3719de3f601b696a2def263 (patch) | |
| tree | c695221c62ff155a5a657883822af40538d24f23 /academic/cvc4 | |
| parent | e6362e61d4cb76998694df32c864f5ceb3d95d54 (diff) | |
| download | slackbuilds-7f26b9929fe95171f3719de3f601b696a2def263.tar.gz | |
All: SlackBuilds run in the directory they are in
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
| -rw-r--r-- | academic/cvc4/cvc4.SlackBuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/academic/cvc4/cvc4.SlackBuild b/academic/cvc4/cvc4.SlackBuild index 14b49bcb67..79ccc92ec6 100644 --- a/academic/cvc4/cvc4.SlackBuild +++ b/academic/cvc4/cvc4.SlackBuild @@ -26,6 +26,8 @@ # Add new Python bindings (requires a newer version of Cython?) # Add Java bindings (requires a newer version of CMake?) +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=cvc4 VERSION=${VERSION:-1.8} BUILD=${BUILD:-1} @@ -40,7 +42,6 @@ if [ -z "$ARCH" ]; then esac fi -CWD=$(pwd) TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} |