1 files changed, 23 insertions, 0 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index cf4e554cc..810ffa253 100644
--- a/src/base/CMakeLists.txt
+++ b/src/base/CMakeLists.txt
@@ -1,3 +1,26 @@
+set(base_src_files
+  configuration.cpp
+  configuration.h
+  configuration_private.h
+  cvc4_assert.cpp
+  cvc4_assert.h
+  cvc4_check.cpp
+  cvc4_check.h
+  exception.cpp
+  exception.h
+  listener.cpp
+  listener.h
+  modal_exception.h
+  output.cpp
+  output.h
+)
+
+add_library(base SHARED ${base_src_files})
+set_target_properties(base PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB)
+
+#
+# Generate code for debug/trace tags
+#
 set(mktags_script ${CMAKE_CURRENT_LIST_DIR}/mktags)
 set(mktagheaders_script ${CMAKE_CURRENT_LIST_DIR}/mktagheaders)
 file(GLOB_RECURSE source_files ${PROJECT_SOURCE_DIR}/src/*.cpp ${PROJECT_SOURCE_DIR}/src/*.cc ${PROJECT_SOURCE_DIR}/src/*.h ${PROJECT_SOURCE_DIR}/src/*.g)