diff --git a/contrib/cmake/examples/tptp/CMakeLists.txt b/contrib/cmake/examples/tptp/CMakeLists.txt
new file mode 100644
index 000000000..447307cd7
--- /dev/null
+++ b/contrib/cmake/examples/tptp/CMakeLists.txt
@@ -0,0 +1,4 @@
+add_executable(tptp5 EXCLUDE_FROM_ALL tptp5.cpp)
+target_link_libraries(tptp5 PRIVATE libz3)
+target_include_directories(tptp5 PRIVATE "${CMAKE_SOURCE_DIR}/src/api")
+target_include_directories(tptp5 PRIVATE "${CMAKE_SOURCE_DIR}/src/api/c++")
diff --git a/contrib/cmake/src/opt/CMakeLists.txt b/contrib/cmake/src/opt/CMakeLists.txt
index e4166e3d4..778edc2de 100644
--- a/contrib/cmake/src/opt/CMakeLists.txt
+++ b/contrib/cmake/src/opt/CMakeLists.txt
@@ -1,9 +1,5 @@
 z3_add_component(opt
   SOURCES
-    bcd2.cpp
-    fu_malik.cpp
-    hitting_sets.cpp
-    maxhs.cpp
     maxres.cpp
     maxsls.cpp
     maxsmt.cpp