diff options
Diffstat (limited to 'academic/z3')
| -rw-r--r-- | academic/z3/z3.SlackBuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild index 907dc847404c1..564c36252b0c6 100644 --- a/academic/z3/z3.SlackBuild +++ b/academic/z3/z3.SlackBuild @@ -22,6 +22,8 @@ # OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=z3 VERSION=${VERSION:-4.8.7} BUILD=${BUILD:-1} @@ -35,7 +37,6 @@ if [ -z "$ARCH" ]; then esac fi -CWD=$(pwd) TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} |