ctf-tools/z3/install

#!/bin/bash -ex

git clone https://github.com/Z3Prover/z3
cd z3

# move to ctftools virtual env
set +e
source ${VIRTUALENVWRAPPER_SCRIPT}
workon ctftools
set -e

# install z3
python scripts/mk_make.py --python
cd build
make
make install

deactivate
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 21:40:17 +00:00			`#!/bin/bash -ex`
Add z3 theorem prover 2016-09-21 12:03:01 +00:00
			`git clone https://github.com/Z3Prover/z3`
			`cd z3`

			`# move to ctftools virtual env`
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 21:40:17 +00:00			`set +e`
Add z3 theorem prover 2016-09-21 12:03:01 +00:00			`source ${VIRTUALENVWRAPPER_SCRIPT}`
			`workon ctftools`
fail hard on any error + verify that all scripts use bash -ex to fail early on any error + anticipate that some tools can't be installed by now, but we still want the test to return success to satisfy travis-ci 2017-02-16 21:40:17 +00:00			`set -e`
Add z3 theorem prover 2016-09-21 12:03:01 +00:00
			`# install z3`
			`python scripts/mk_make.py --python`
			`cd build`
			`make`
			`make install`

			`deactivate`