cmake

kroening · kroening · commit fc356a9dff07 · 2022-09-19T19:37:42.000+01:00
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -106,6 +106,7 @@ add_subdirectory(statement-list)
 add_subdirectory(util)
 
 add_subdirectory(cbmc)
+add_subdirectory(cprover)
 add_subdirectory(crangler)
 add_subdirectory(goto-cc)
 add_subdirectory(goto-instrument)
