-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathCMakeLists.txt
More file actions
38 lines (32 loc) · 1.07 KB
/
CMakeLists.txt
File metadata and controls
38 lines (32 loc) · 1.07 KB
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
project(unique)
cmake_minimum_required (VERSION 2.8.6)
set(default_build_type "Release")
if(NOT CMAKE_BUILD_TYPE)
message(STATUS "Setting build type to '${default_build_type}' as none was specified.")
set(CMAKE_BUILD_TYPE "${default_build_type}" CACHE
STRING "Choose the type of build." FORCE)
set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS
"Debug" "Release")
endif()
if(NOT BUILD_STATIC)
set(BUILD_SHARED_LIBS ON)
message(STATUS "Building shared libraries.")
else()
set(BUILD_SHARED_LIBS OFF)
set(CMAKE_FIND_LIBRARY_SUFFIXES ".a")
set(CMAKE_EXE_LINKER_FLAGS "-static")
message(STATUS "Building statically.")
endif()
if (CMAKE_SOURCE_DIR STREQUAL CMAKE_BINARY_DIR )
message (FATAL_ERROR
"In-source builds are not allowed. Please clean your source tree and try again.")
endif()
set(CMAKE_CXX_FLAGS_RELEASE "-O3")
add_compile_options (-fpic)
include_directories(docopt.cpp)
add_subdirectory(docopt.cpp)
add_subdirectory (abc)
add_subdirectory (minisat)
add_subdirectory (avy)
add_subdirectory (interpolatingsolver)
add_subdirectory (unique)