#!/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