From 6b8fa31e4ab33004308df0716c4e3d1cecd2ae55 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 17 Aug 2018 11:37:27 -0700
Subject: [PATCH] cmake: Add target units.

---
 test/unit/CMakeLists.txt               | 3 +++
 test/unit/base/CMakeLists.txt          | 1 +
 test/unit/preprocessing/CMakeLists.txt | 1 +
 3 files changed, 5 insertions(+)
 create mode 100644 test/unit/base/CMakeLists.txt
 create mode 100644 test/unit/preprocessing/CMakeLists.txt

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 089e26303..57a50f52e 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -10,6 +10,7 @@ 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)
+  set_tests_properties(${name} PROPERTIES LABELS "unit")
   target_link_libraries(${name} main)
   target_compile_definitions(${name} PRIVATE ${CVC4_CXXTEST_FLAGS_BLACK})
   if(${is_white})
@@ -32,3 +33,5 @@ add_subdirectory(parser)
 add_subdirectory(prop)
 add_subdirectory(theory)
 add_subdirectory(util)
+
+add_custom_target(units COMMAND ctest -L "unit")
diff --git a/test/unit/base/CMakeLists.txt b/test/unit/base/CMakeLists.txt
new file mode 100644
index 000000000..4c2a0517e
--- /dev/null
+++ b/test/unit/base/CMakeLists.txt
@@ -0,0 +1 @@
+cvc4_add_unit_test_black(map_util_black)
diff --git a/test/unit/preprocessing/CMakeLists.txt b/test/unit/preprocessing/CMakeLists.txt
new file mode 100644
index 000000000..fdd32be95
--- /dev/null
+++ b/test/unit/preprocessing/CMakeLists.txt
@@ -0,0 +1 @@
+cvc4_add_unit_test_white(pass_bv_gauss_white)
-- 
2.30.2