forked from SoftVarE-Group/d4v2
-
Notifications
You must be signed in to change notification settings - Fork 1
/
CMakeLists.txt
131 lines (96 loc) · 5.41 KB
/
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
cmake_minimum_required(VERSION 3.1)
# set the project name and version
project(D4 VERSION 0.1)
add_custom_target(clean-cmake-files
COMMAND ${CMAKE_COMMAND} -P clean-all.cmake
)
set(CMAKE_POSITION_INDEPENDENT_CODE ON)
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR})
# set(CMAKE_BUILD_TYPE Release)
# specify the C++ standard
set(CMAKE_CXX_STANDARD_REQUIRED 20)
set(CMAKE_CXX_STANDARD_REQUIRED True)
# source/include files
file(GLOB_RECURSE SOURCES ./src/**.cpp ./src/**.c)
file(GLOB_RECURSE INCLUDES ./src/**.hpp)
set(SRCS ${SOURCES})
set(HEADERS ${INCLUDES})
set(CMAKE_CXX_FLAGS_RELEASE "-DNDEBUG -O3")
set(Boost_USE_STATIC_LIBS ON)
link_directories(${CMAKE_SOURCE_DIR}/3rdParty/arjun/build/lib)
add_subdirectory(3rdParty/GPMC)
set(CMAKE_PREFIX_PATH ${CMAKE_PREFIX_PATH}/3rdParty)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/cryptominisat/build/include)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/arjun/build/include)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/mt-kahypar/include)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/include)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR})
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/)
INCLUDE_DIRECTORIES(${CMAKE_SOURCE_DIR}/3rdParty/kahypar/)
FIND_PACKAGE(Boost COMPONENTS program_options iostreams REQUIRED)
INCLUDE_DIRECTORIES(${Boost_INCLUDE_DIRS})
if (NOT DEFINED BUILD_MODE)
set(BUILD_MODE 0)
endif()
# build.
if(${BUILD_MODE} EQUAL 1)
# create an executable
add_executable(d4_debug ${SRCS} ${HEADERS})
# PROFILE
message("Debug mode activated")
set(CMAKE_BUILD_TYPE Debug)
target_compile_options(d4_debug PUBLIC -std=c++20 -Wall -g -pg -O3 -Wno-class-memaccess -Wno-format -Wno-misleading-indentation -Wno-literal-suffix -Wno-sign-compare -Wno-parentheses -D DEBUG -DCMAKE_EXPORT_COMPILE_COMMANDS=1)
target_link_libraries (d4_debug -lz -g -pg -lgmpxx -lgmp -O3 ${CMAKE_SOURCE_DIR}/3rdParty/kahypar/build/lib/libkahypar.a ${Boost_LIBRARIES} ${CMAKE_SOURCE_DIR}/3rdParty/patoh/libpatoh.a ${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/core/lib_debug.a)
#target_compile_options(d4_debug PUBLIC -std=c++20 -Wall -g -O1 -Wno-class-memaccess -Wno-format -Wno-misleading-indentation -Wno-literal-suffix -Wno-sign-compare -Wno-parentheses -D DEBUG -DCMAKE_EXPORT_COMPILE_COMMANDS=1)
#target_link_libraries (d4_debug -lz -g -lgmpxx -lgmp -O1 ${CMAKE_SOURCE_DIR}/3rdParty/kahypar/build/lib/libkahypar.a ${Boost_LIBRARIES} ${CMAKE_SOURCE_DIR}/3rdParty/patoh/libpatoh.a ${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/core/lib_debug.a)
install(PROGRAMS ${CMAKE_CURRENT_BINARY_DIR}/d4_debug
DESTINATION bin
RENAME ${CMAKE_PROJECT_NAME}-d4_debug)
elseif(${BUILD_MODE} EQUAL 2)
message("Static mode activated")
add_executable(d4_static ${SRCS} ${HEADERS})
target_compile_options(d4_static PUBLIC -std=c++20 -Wall -O3 -Wno-class-memaccess -Wno-format -Wno-misleading-indentation -Wno-literal-suffix -Wno-sign-compare -Wno-parentheses -D NDEBUG -static)
target_link_libraries (d4_static -lz -O3 -lgmpxx -lgmp ${CMAKE_SOURCE_DIR}/3rdParty/kahypar/build/lib/libkahypar.a ${Boost_LIBRARIES} ${CMAKE_SOURCE_DIR}/3rdParty/patoh/libpatoh.a -D NDEBUG -static ${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/core/lib_static.a)
install(PROGRAMS ${CMAKE_CURRENT_BINARY_DIR}/d4_static
DESTINATION bin
RENAME ${CMAKE_PROJECT_NAME}-d4_static)
elseif(${BUILD_MODE} EQUAL 3)
message("Library creation")
add_library(d4 ${SRCS} ${HEADERS})
target_compile_options(d4 PUBLIC -DNOMAIN -std=c++20 -Wall -O3 -Wno-class-memaccess -Wno-format -Wno-misleading-indentation -Wno-literal-suffix -Wno-sign-compare -Wno-parentheses -D NDEBUG)
target_link_libraries (d4 -lz -O3 -lgmpxx -lgmp ${CMAKE_SOURCE_DIR}/3rdParty/kahypar/build/lib/libkahypar.a ${Boost_LIBRARIES} ${CMAKE_SOURCE_DIR}/3rdParty/patoh/libpatoh.a -D NDEBUG ${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/core/lib_standard.a)
target_include_directories (d4 PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
install (TARGETS d4 DESTINATION lib)
install(FILES ${HEADER} DESTINATION include/${CMAKE_PROJECT_NAME})
else()
# create an executable
add_executable(d4 ${SRCS} ${HEADERS})
if(CMAKE_BUILD_TYPE STREQUAL "Debug")
add_compile_options(-fsanitize=address)
add_link_options(-fsanitize=address)
endif()
message("Classical mode activated")
target_compile_options(d4 PUBLIC -Wall -std=c++20 -Wno-class-memaccess -march=native -Wno-format -Wno-misleading-indentation -Wno-literal-suffix -Wno-sign-compare -Wno-parentheses)
target_link_libraries(d4 ${CMAKE_SOURCE_DIR}/3rdParty/arjun/build/lib/libarjun.so)
target_link_libraries(d4 ${CMAKE_SOURCE_DIR}/3rdParty/cryptominisat/build/lib/libcryptominisat5.so)
target_link_libraries(d4 ${CMAKE_SOURCE_DIR}/3rdParty/mt-kahypar/build/lib/libmtkahypar.so )
target_link_libraries (d4 -lz gpmc -lgmp -lgmpxx ${CMAKE_SOURCE_DIR}/3rdParty/kahypar/build/lib/libkahypar.a ${Boost_LIBRARIES}
${CMAKE_SOURCE_DIR}/3rdParty/patoh/libpatoh.a
${CMAKE_SOURCE_DIR}/3rdParty/glucose-3.0/core/lib_standard.a)
install(PROGRAMS ${CMAKE_CURRENT_BINARY_DIR}/d4
DESTINATION bin
RENAME ${CMAKE_PROJECT_NAME}-d4)
endif()
file(GLOB cmake_generated ${CMAKE_SOURCE_DIR}/src/*~)
foreach(file ${cmake_generated})
if (EXISTS ${file})
file(REMOVE_RECURSE ${file})
endif()
endforeach(file)
#
# Testing
#
# enable_testing()
# include(cmake_includes/AddGoogleTest.cmake)
# add_executable(HashString_test tests/HashString_test.cpp)
# add_gtest(HashString_test)