mirror of
https://github.com/zardus/ctf-tools
synced 2024-11-10 08:24:12 +00:00
7144e756e5
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
18 lines
249 B
Bash
Executable file
18 lines
249 B
Bash
Executable file
#!/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
|