diff --git a/examples/tptp/README b/examples/tptp/README index b3edfe6a8..1abed0799 100644 --- a/examples/tptp/README +++ b/examples/tptp/README @@ -16,3 +16,16 @@ The TPTP language is documented on http://tptp.org It also exposes utilities for converting between SMT-LIB and TPTP format. + +Custom build with CMAKE: + +Build instructions: + +1. cd z3 +2. mkdir release +3. cd release +4. cmake3 -DZ3_BUILD_LIBZ3_SHARED=FALSE -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "Unix Makefiles" ../ +5. make +6. make z3_tptp5 +7. cp examples/tptp_build_dir/z3_tptp5 ../../bin/z3_tptp +