From ce1535119d83fe446d74be51ac780aeb3dbadc44 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 13 May 2025 14:34:47 -0700
Subject: [PATCH] include some build cheat sheet

---
 examples/tptp/README | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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
+