mirror of
https://github.com/zardus/ctf-tools
synced 2024-12-13 22:42:38 +00:00
16 lines
231 B
Bash
Executable file
16 lines
231 B
Bash
Executable file
#!/bin/bash
|
|
|
|
git clone https://github.com/Z3Prover/z3
|
|
cd z3
|
|
|
|
# move to ctftools virtual env
|
|
source ${VIRTUALENVWRAPPER_SCRIPT}
|
|
workon ctftools
|
|
|
|
# install z3
|
|
python scripts/mk_make.py --python
|
|
cd build
|
|
make
|
|
make install
|
|
|
|
deactivate
|