From 110913935928ff6b590c9c62c5ba34b71e3f8d54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 13 May 2025 14:36:20 -0700
Subject: [PATCH] move to readme-cmake

---
 README-CMake.md      | 13 +++++++++++++
 examples/tptp/README | 11 -----------
 2 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/README-CMake.md b/README-CMake.md
index dc1f33ec6..e182a7f94 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -441,3 +441,16 @@ relevant `*_WARNINGS_AS_ERRORS` list defined in
 
 Additional warnings should only be added here if the warnings has no false
 positives.
+
+### Building TPTP 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
\ No newline at end of file
diff --git a/examples/tptp/README b/examples/tptp/README
index 1abed0799..a6f3636a1 100644
--- a/examples/tptp/README
+++ b/examples/tptp/README
@@ -17,15 +17,4 @@ 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