summaryrefslogtreecommitdiff
path: root/vendor/CppQuickCheck-2018-03-28/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/CppQuickCheck-2018-03-28/CMakeLists.txt')
-rw-r--r--vendor/CppQuickCheck-2018-03-28/CMakeLists.txt32
1 files changed, 32 insertions, 0 deletions
diff --git a/vendor/CppQuickCheck-2018-03-28/CMakeLists.txt b/vendor/CppQuickCheck-2018-03-28/CMakeLists.txt
new file mode 100644
index 00000000..c837c1e3
--- /dev/null
+++ b/vendor/CppQuickCheck-2018-03-28/CMakeLists.txt
@@ -0,0 +1,32 @@
+cmake_minimum_required(VERSION 2.6)
+project(CppQuickCheck)
+set(CMAKE_CXX_FLAGS "-O3 -g -Wall -std=c++11")
+
+find_package(Boost REQUIRED)
+include_directories(${Boost_INCLUDE_DIR})
+
+include_directories("${PROJECT_SOURCE_DIR}/include")
+
+add_subdirectory(examples)
+
+add_library(cppqc SHARED src/Arbitrary.cpp)
+
+install(DIRECTORY "include/" DESTINATION "include"
+ PATTERN ".*" EXCLUDE)
+install(TARGETS cppqc DESTINATION "lib")
+
+# "catch" based unit tests
+enable_testing()
+add_executable(
+ all-catch-tests
+ test/catch-main.cpp
+ test/shrink-explosion-protection.cpp
+ test/compact-check-tests.cpp
+ test/functional-tests.cpp)
+target_link_libraries(all-catch-tests cppqc)
+add_test(all-catch-tests all-catch-tests)
+
+# workaround to force cmake to build test executable before running the test
+# (source: http://stackoverflow.com/a/736838/783510)
+add_custom_target(check COMMAND ${CMAKE_CTEST_COMMAND}
+ DEPENDS all-catch-tests)