cmake: Add support for CxxTest.

8 files changed, 81 insertions, 0 deletions

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 3e2dde59b..089e26303 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -1,3 +1,30 @@
+include_directories(.)
+include_directories(${PROJECT_SOURCE_DIR}/src)
+include_directories(${PROJECT_SOURCE_DIR}/src/include)
+include_directories(${CMAKE_BINARY_DIR}/src)
+
+set(CVC4_CXXTEST_FLAGS_BLACK
+  -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST
+	-D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS)
+set(CVC4_CXXTEST_FLAGS_WHITE -fno-access-control ${CVC4_CXXTEST_FLAGS_BLACK})
+
+macro(cvc4_add_unit_test is_white name)
+  cxxtest_add_test(${name} ${name}.cpp ${CMAKE_CURRENT_LIST_DIR}/${name}.h)
+  target_link_libraries(${name} main)
+  target_compile_definitions(${name} PRIVATE ${CVC4_CXXTEST_FLAGS_BLACK})
+  if(${is_white})
+    target_compile_options(${name} PRIVATE -fno-access-control)
+  endif()
+endmacro()
+
+macro(cvc4_add_unit_test_black name)
+  cvc4_add_unit_test(FALSE ${name})
+endmacro()
+macro(cvc4_add_unit_test_white name)
+  cvc4_add_unit_test(TRUE ${name})
+endmacro()
+
+add_subdirectory(base)
 add_subdirectory(context)
 add_subdirectory(expr)
 add_subdirectory(main)
diff --git a/test/unit/context/CMakeLists.txt b/test/unit/context/CMakeLists.txt
index e69de29bb..b332d7340 100644
--- a/test/unit/context/CMakeLists.txt
+++ b/test/unit/context/CMakeLists.txt
@@ -0,0 +1,7 @@
+cvc4_add_unit_test_black(cdlist_black)
+cvc4_add_unit_test_black(cdmap_black)
+cvc4_add_unit_test_white(cdmap_white)
+cvc4_add_unit_test_black(cdo_black)
+cvc4_add_unit_test_black(context_black)
+cvc4_add_unit_test_black(context_mm_black)
+cvc4_add_unit_test_white(context_white)
diff --git a/test/unit/expr/CMakeLists.txt b/test/unit/expr/CMakeLists.txt
index e69de29bb..ca5fcbe6d 100644
--- a/test/unit/expr/CMakeLists.txt
+++ b/test/unit/expr/CMakeLists.txt
@@ -0,0 +1,15 @@
+cvc4_add_unit_test_black(attribute_black)
+cvc4_add_unit_test_white(attribute_white)
+cvc4_add_unit_test_black(expr_manager_public)
+cvc4_add_unit_test_black(expr_public)
+cvc4_add_unit_test_black(kind_black)
+cvc4_add_unit_test_black(kind_map_black)
+cvc4_add_unit_test_black(node_black)
+cvc4_add_unit_test_black(node_builder_black)
+cvc4_add_unit_test_black(node_manager_black)
+cvc4_add_unit_test_white(node_manager_white)
+cvc4_add_unit_test_black(node_self_iterator_black)
+cvc4_add_unit_test_white(node_white)
+cvc4_add_unit_test_black(symbol_table_black)
+cvc4_add_unit_test_black(type_cardinality_public)
+cvc4_add_unit_test_white(type_node_white)
diff --git a/test/unit/main/CMakeLists.txt b/test/unit/main/CMakeLists.txt
index e69de29bb..7b90f0ca4 100644
--- a/test/unit/main/CMakeLists.txt
+++ b/test/unit/main/CMakeLists.txt
@@ -0,0 +1 @@
+cvc4_add_unit_test_black(interactive_shell_black)
diff --git a/test/unit/parser/CMakeLists.txt b/test/unit/parser/CMakeLists.txt
index e69de29bb..fd3227be3 100644
--- a/test/unit/parser/CMakeLists.txt
+++ b/test/unit/parser/CMakeLists.txt
@@ -0,0 +1,2 @@
+cvc4_add_unit_test_black(parser_black)
+cvc4_add_unit_test_black(parser_builder_black)
diff --git a/test/unit/prop/CMakeLists.txt b/test/unit/prop/CMakeLists.txt
index e69de29bb..c712d7277 100644
--- a/test/unit/prop/CMakeLists.txt
+++ b/test/unit/prop/CMakeLists.txt
@@ -0,0 +1 @@
+cvc4_add_unit_test_white(cnf_stream_white)
diff --git a/test/unit/theory/CMakeLists.txt b/test/unit/theory/CMakeLists.txt
index e69de29bb..6dc627db9 100644
--- a/test/unit/theory/CMakeLists.txt
+++ b/test/unit/theory/CMakeLists.txt
@@ -0,0 +1,11 @@
+cvc4_add_unit_test_white(evaluator_white)
+cvc4_add_unit_test_white(logic_info_white)
+cvc4_add_unit_test_white(theory_arith_white)
+cvc4_add_unit_test_black(theory_black)
+cvc4_add_unit_test_white(theory_bv_white)
+cvc4_add_unit_test_white(theory_engine_white)
+cvc4_add_unit_test_white(theory_quantifiers_bv_instantiator_white)
+cvc4_add_unit_test_white(theory_quantifiers_bv_inverter_white)
+cvc4_add_unit_test_white(theory_strings_rewriter_white)
+cvc4_add_unit_test_white(theory_white)
+cvc4_add_unit_test_white(type_enumerator_white)
diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt
index e69de29bb..3763c72ce 100644
--- a/test/unit/util/CMakeLists.txt
+++ b/test/unit/util/CMakeLists.txt
@@ -0,0 +1,17 @@
+cvc4_add_unit_test_black(array_store_all_black)
+cvc4_add_unit_test_white(assert_white)
+cvc4_add_unit_test_black(binary_heap_black)
+cvc4_add_unit_test_black(bitvector_black)
+cvc4_add_unit_test_black(boolean_simplification_black)
+cvc4_add_unit_test_black(cardinality_public)
+cvc4_add_unit_test_white(check_white)
+cvc4_add_unit_test_black(configuration_black)
+cvc4_add_unit_test_black(datatype_black)
+cvc4_add_unit_test_black(exception_black)
+cvc4_add_unit_test_black(integer_black)
+cvc4_add_unit_test_white(integer_white)
+cvc4_add_unit_test_black(listener_black)
+cvc4_add_unit_test_black(output_black)
+cvc4_add_unit_test_black(rational_black)
+cvc4_add_unit_test_white(rational_white)
+cvc4_add_unit_test_black(stats_black)