diff options
Diffstat (limited to 'academic/cvc4/cvc4.SlackBuild')
| -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 14b49bcb6722e..79ccc92ec6614 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} |