z3-z3-4.12.6.configure Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

TurnKey artifact for Z3

There is a newer version: 4.13.0.1

#!/bin/sh
if test -z $PYTHON; then
   PYTHON=python
fi

if ! which $PYTHON > /dev/null; then
   echo "'$PYTHON' not found. Try to set the environment variable PYTHON."
   exit 1
fi


if ! $PYTHON -c "print('testing')" > /dev/null ; then
   echo "'$PYTHON' failed to execute basic test script. Try to set the environment variable PYTHON with a working Python interpreter."
   exit 1
fi

$PYTHON scripts/mk_make.py "$@"