ODDs/CMakeLists.txt at master · AutoProving/ODDs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
cmake_minimum_required(VERSION 3.10)

# std::filesystem is only available on Catalina.
set(CMAKE_OSX_DEPLOYMENT_TARGET 10.15)

project(ODDs)

set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED True)

add_library(ODDs STATIC
    lib/ODDs/JSONDump.cpp
    lib/ODDs/ODDs.cpp
    lib/ODDs/Operations.cpp)

target_include_directories(ODDs PUBLIC lib/)
target_include_directories(ODDs PUBLIC ext/rapidjson/include/)
target_compile_options(ODDs PRIVATE -Wall -Wextra -Wshadow)

if (NOT ODDs_DISABLE_TESTS)
    enable_testing()

    include(GoogleTest)
    add_subdirectory(ext/googletest)

    add_executable(ODDsTest
        test/Common/DivisionODDs.cpp
        test/DivisionODDs.cpp
        test/ODDBuilder.cpp
        test/ODDsStructures.cpp
        test/ODDsUnion.cpp
        test/ODDsIntersection.cpp
        test/ODDsTensorProduct.cpp
        test/ODDsNegation.cpp
        test/ODDsMapping.cpp
        test/ODDsPowerSet.cpp
        test/ODDsMinimization.cpp
        test/JSONLayers.cpp)
    target_include_directories(ODDsTest PUBLIC lib/)
    target_include_directories(ODDsTest PUBLIC test/)
    target_include_directories(ODDsTest PUBLIC ext/googletest/googletest/include/)
    target_link_libraries(ODDsTest gtest gtest_main)
    target_link_libraries(ODDsTest ODDs)
    target_compile_options(ODDsTest PRIVATE -Wall -Wextra -Wshadow)
    gtest_discover_tests(ODDsTest)
endif()