Skip to content

Instantly share code, notes, and snippets.

@aterga

aterga/get_vampire_macos.sh

Created March 21, 2020 15:47
Show Gist options
  • Save aterga/e898fdd46b38c732a9048a00e78a1e2e to your computer and use it in GitHub Desktop.
Save aterga/e898fdd46b38c732a9048a00e78a1e2e to your computer and use it in GitHub Desktop.
Download ZIP
Clone the right version of the Vampire theorem prover, compile with custom version of Z3, and link with libz3.dylib
Raw
get_vampire_macos.sh
#!/bin/bash
projdir=$1
workdir=$(pwd)
git clone https://github.com/vprover/vampire.git
cd $workdir/vampire
git checkout 76d525d7ebed8fae9a1dc3aa4c9b6a8ddbe655bd
ln -s $projdir/z3/bin include
make vampire_z3_rel
#otool -L vampire_z3_rel_detached_4184
install_name_tool -change libz3.dylib $projdir/z3/bin/libz3.dylib vampire_z3_rel_detached_4184
ln -s $projdir/vampire/vampire_z3_rel_detached_4184 /usr/local/bin/vampire
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment