include some build cheat sheet

Author: NikolajBjorner

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
+