Do not build tests for make all or make install

tests/CMakeLists.txt

@@ -36,18 +36,22 @@ if (WITH_MSAT)
   add_definitions(-DWITH_MSAT)
 endif()
 
-add_library(pono-test-lib "${PONO_LIB_TYPE}"
+add_library(pono-test-lib EXCLUDE_FROM_ALL "${PONO_LIB_TYPE}"
   "${CMAKE_CURRENT_SOURCE_DIR}/common_ts.cpp"
 )
 
 # INCLUDE_DIRS set in top-level CMakeLists.txt
 target_include_directories(pono-test-lib PUBLIC "${INCLUDE_DIRS}")
 target_link_libraries(pono-test-lib pono-lib)
 
+# Create `make check` target that (re-)builds tests before trying to run them.
+add_custom_target(check COMMAND ${CMAKE_CTEST_COMMAND})
+
 macro(pono_add_test name)
-  add_executable(${name} "${CMAKE_CURRENT_SOURCE_DIR}/${name}.cpp")
+  add_executable(${name} EXCLUDE_FROM_ALL "${CMAKE_CURRENT_SOURCE_DIR}/${name}.cpp")
   target_link_libraries(${name} gtest gtest_main)
   target_link_libraries(${name} pono-test-lib) # also includes pono-lib because it's linked
+  add_dependencies(check ${name})
   add_test(NAME ${name} COMMAND ${name})
 endmacro()