-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCMakeLists.txt
42 lines (25 loc) · 938 Bytes
/
CMakeLists.txt
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
cmake_minimum_required (VERSION 2.8)
project (SHARPSAT)
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -std=c++11 -Wall -fPIC")
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -std=c++11 -O3 -DNDEBUG -Wall -fPIC")
set(CMAKE_CXX_FLAGS_PROFILING "${CMAKE_CXX_FLAGS_PROFILING} -std=c++11 -O3 -g -DNDEBUG -Wall -fPIC")
IF(UNIX)
IF(APPLE)
include_directories(/opt/local/include)
ELSE(APPLE)
ENDIF(APPLE)
ELSE(UNIX)
ENDIF(UNIX)
find_library(GMP_LIB gmp)
find_library(GMPXX_LIB gmpxx)
add_subdirectory(src)
add_executable (incSharpSAT src/main.cpp)
target_link_libraries (incSharpSAT libsharpSAT ${GMP_LIB} ${GMPXX_LIB})
# Tests
add_subdirectory(tests)
enable_testing()
find_package(GTest REQUIRED)
add_executable(solver_tests tests/solver_tests.cpp)
target_link_libraries(solver_tests GTest::gtest_main libsharpSAT ${GMP_LIB} ${GMPXX_LIB})
include(GoogleTest)
gtest_discover_tests(solver_tests)