-
Notifications
You must be signed in to change notification settings - Fork 0
/
CMakeLists.txt
494 lines (429 loc) · 14.9 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
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
cmake_minimum_required(VERSION 3.0)
set(CMAKE_C_FLAGS_RELWITHDEBINFO "${CMAKE_C_FLAGS_DEBUG} ${CMAKE_C_FLAGS_RELEASE}")
set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "${CMAKE_CXX_FLAGS_DEBUG} ${CMAKE_CXX_FLAGS_RELEASE}")
project(SCIP)
# for intel compilers we need to set the fp-model precise flag to disable incorrect floating point optimizations
if(CMAKE_CXX_COMPILER_ID MATCHES "Intel")
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fp-model precise")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fp-model precise")
endif()
set(SCIP_VERSION_MAJOR 6)
set(SCIP_VERSION_MINOR 0)
set(SCIP_VERSION_PATCH 1)
set(SCIP_VERSION_SUB 0)
set(SCIP_VERSION_API 34)
get_directory_property(hasParent PARENT_DIRECTORY)
if(hasParent)
set(SCIPOptSuite_VERSION_MAJOR ${SCIP_VERSION_MAJOR} PARENT_SCOPE)
set(SCIPOptSuite_VERSION_MINOR ${SCIP_VERSION_MINOR} PARENT_SCOPE)
set(SCIPOptSuite_VERSION_PATCH ${SCIP_VERSION_PATCH} PARENT_SCOPE)
endif()
set(CPACK_RESOURCE_FILE_LICENSE "${PROJECT_SOURCE_DIR}/COPYING")
set(CPACK_PACKAGE_VERSION_MAJOR "${SCIP_VERSION_MAJOR}")
set(CPACK_PACKAGE_VERSION_MINOR "${SCIP_VERSION_MINOR}")
set(CPACK_PACKAGE_VERSION_PATCH "${SCIP_VERSION_PATCH}")
set(CPACK_PACKAGE_VENDOR "Zuse Institute Berlin")
set(CPACK_PACKAGE_CONTACT "http://scip.zib.de")
include(CPack)
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
# path to e.g. findGMP module
set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake/Modules)
option(SHARED "Build shared libraries" ON)
set(BUILD_SHARED_LIBS ${SHARED})
message(STATUS "Build shared libraries: " ${SHARED})
# make 'Release' the default build type
if(NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE Release)
endif()
message(STATUS "Build type: ${CMAKE_BUILD_TYPE}")
option(ZLIB "should zlib be linked" ON)
option(READLINE "should readline be linked" ON)
option(GMP "should gmp be linked" ON)
option(ZIMPL "should zimpl be linked" ON)
option(IPOPT "should ipopt be linked" ON)
option(WORHP "should worhp be linked" OFF)
option(PARASCIP "should scip be compiled thread safe" OFF)
option(LPSCHECK "double check SoPlex results with CPLEX" OFF)
option(LEGACY "build SCIP/SoPlex in legacy mode (spx1 interface)" OFF)
option(NOBLKBUFMEM "should block and buffer memory be disabled" OFF)
option(NOBLKMEM "should block and buffer memory be disabled" OFF)
option(NOBUFMEM "should block and buffer memory be disabled" OFF)
option(DEBUGSOL "should the debug solution mechanism be enabled" OFF)
option(SANITIZE_ADDRESS "should the address sanitizer be enabled in debug mode if available" OFF)
option(SANITIZE_MEMORY "should the memory sanitizer be enabled in debug mode if available" OFF)
option(SANITIZE_UNDEFINED "should the undefined behavior sanitizer be enabled in debug mode if available" ON)
option(SANITIZE_THREAD "should the thread sanitizer be enabled in debug mode if available" OFF)
option(COVERAGE "enable coverage support" OFF)
SET(COVERAGE_CTEST_ARGS "" CACHE STRING "additional ctest arguments for coverage")
option(MT "use static runtime libraries for Visual Studio compiler" OFF)
option(CXXONLY "use a c++ compiler for all source files" OFF)
set(TPI none CACHE STRING "options for thread support library") #create the variable
set_property(CACHE TPI PROPERTY STRINGS none tny omp) #define list of values GUI will offer for the variable
set(EXPRINT cppad CACHE STRING "options for expression interpreter") #create the variable
set_property(CACHE EXPRINT PROPERTY STRINGS none cppad ) #define list of values GUI will offer for the variable
set(LPS spx CACHE STRING "options for LP solver") #create the variable
set_property(CACHE LPS PROPERTY STRINGS spx cpx grb xprs clp glop msk qso none ) #define list of values GUI will offer for the variable
set(SYM bliss CACHE STRING "options for symmetry computation") #create the variable
set_property(CACHE SYM PROPERTY STRINGS bliss none ) #define list of values GUI will offer for the variable
#set options for memory management
if( NOBLKBUFMEM )
set(NOBLKMEM ON FORCE)
set(NOBUFMEM ON FORCE)
endif()
if(NOBLKMEM)
set(BMS_NOBLOCKMEM on)
endif()
if(NOBUFMEM)
set(SCIP_NOBUFFERMEM on)
endif()
if(DEBUGSOL)
set(WITH_DEBUG_SOLUTION on)
endif()
#set the correct rpath for OS X
set(CMAKE_MACOSX_RPATH ON)
#set defines for Windows
if(WIN32)
set(SCIP_NO_SIGACTION on)
set(SCIP_NO_STRTOK_R on)
endif()
if(MSVC)
# add_definitions(/W4)
add_definitions(/wd4100)
add_definitions(/wd4244)
add_definitions(-D_CRT_SECURE_NO_WARNINGS)
endif()
# Visual Studio compiler with static runtime libraries
if(MSVC AND MT)
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} /MT")
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} /MTd")
set(CMAKE_C_FLAGS_RELEASE "${CMAKE_C_FLAGS_RELEASE} /MT")
set(CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS_DEBUG} /MTd")
endif()
#set expression interpreter file that should be used
if(EXPRINT STREQUAL "cppad")
set(exprinterpret nlpi/exprinterpret_cppad.cpp)
elseif(EXPRINT STREQUAL "none")
set(exprinterpret nlpi/exprinterpret_none.c)
else()
message(FATAL_ERROR "EXPRINT option has wrong value")
endif()
#if tpi is not none force parascip to on
if(NOT (TPI STREQUAL "none"))
set(PARASCIP ON FORCE)
endif()
#set sources files, libraries and defines for tpi
if(TPI STREQUAL "none")
set(tpisources tpi/tpi_none.c)
set(THREAD_LIBRARIES "")
set(TPI_NONE on)
elseif(TPI STREQUAL "tny")
set(TPI_TNYC on)
set(tpisources tpi/tpi_tnycthrd.c tinycthread/tinycthread.c)
find_package(Threads REQUIRED)
set(THREAD_LIBRARIES ${CMAKE_THREAD_LIBS_INIT})
elseif(TPI STREQUAL "omp")
set(TPI_OMP on)
set(tpisources tpi/tpi_openmp.c)
find_package(OpenMP REQUIRED)
set(THREAD_LIBRARIES "")
set (CMAKE_C_FLAGS "${CMAKE_C_FLAGS} ${OpenMP_C_FLAGS}")
set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${OpenMP_CXX_FLAGS}")
else()
message(FATAL_ERROR "TPI option has wrong value")
endif()
#set nparascip define if parascip is off
if(NOT PARASCIP)
set(NPARASCIP on)
endif()
set(NEWLINE "\\\\n")
# create a target for updating the current git hash
file(WRITE ${CMAKE_BINARY_DIR}/scip_update_githash.cmake "
find_program(GIT git)
if(EXISTS \${DST})
file(STRINGS \${DST} GITHASH_OLD)
string(REGEX REPLACE \"#define SCIP_GITHASH \\\"(.*)\\\"\" \"\\\\1\" GITHASH_OLD \${GITHASH_OLD})
endif()
if((GIT) AND (EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/.git))
execute_process(
COMMAND \${GIT} describe --always --dirty
WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
OUTPUT_VARIABLE GITHASH OUTPUT_STRIP_TRAILING_WHITESPACE)
string(REGEX REPLACE \"^.*-g\" \"\" GITHASH \${GITHASH})
if(NOT \${GITHASH} STREQUAL \"\${GITHASH_OLD}\")
file(WRITE \${DST} \"#define SCIP_GITHASH \\\"\${GITHASH}\\\"\n\")
endif()
else()
set(GITHASH \${GITHASH_OLD})
endif()
message(STATUS \"Git hash: \" \${GITHASH})
")
add_custom_target(scip_update_githash
COMMAND ${CMAKE_COMMAND} -DDST=${PROJECT_SOURCE_DIR}/src/scip/githash.c
-P ${CMAKE_BINARY_DIR}/scip_update_githash.cmake)
set(WITH_SCIPDEF on)
# use C++11 standard
set(CMAKE_CXX_STANDARD 11)
# ZLIB
if(ZLIB)
find_package(ZLIB)
endif()
if(ZLIB_FOUND)
include_directories(${ZLIB_INCLUDE_DIRS})
set(SCIP_WITH_ZLIB on)
else()
set(ZLIB_LIBRARIES "")
endif()
# Readline
if(READLINE)
find_package(Readline)
endif()
if(READLINE_FOUND)
include_directories(${Readline_INCLUDE_DIRS})
set(SCIP_WITH_READLINE on)
else()
set(Readline_LIBRARY "")
endif()
# GMP
if(GMP)
find_package(GMP)
endif()
if(GMP_FOUND)
include_directories(${GMP_INCLUDE_DIRS})
set(SCIP_WITH_GMP on)
else()
set(GMP_LIBRARIES "")
endif()
#search the selected LP solver library
if(LPS STREQUAL "spx")
find_package(SOPLEX REQUIRED CONFIG)
if(LPSCHECK)
find_package(CPLEX REQUIRED)
set(SCIP_WITH_LPSCHECK on)
endif()
elseif(LPS STREQUAL "cpx")
find_package(CPLEX REQUIRED)
elseif(LPS STREQUAL "glop")
find_package(GLOP REQUIRED)
elseif(LPS STREQUAL "grb")
find_package(GUROBI REQUIRED)
elseif(LPS STREQUAL "qso")
find_package(QSO REQUIRED)
set(BUILD_SHARED_LIBS off)
message(STATUS "Turning off shared libraries.")
elseif(LPS STREQUAL "clp")
find_package(CLP REQUIRED)
elseif(LPS STREQUAL "xprs")
find_package(XPRESS REQUIRED)
elseif(LPS STREQUAL "msk")
find_package(MOSEK REQUIRED)
elseif(LPS STREQUAL "none")
set(lpi lpi/lpi_none.c)
else()
message(FATAL_ERROR "option LPS has wrong value")
endif()
#setup the proper lpi file for the selected LP solver
if(SOPLEX_FOUND)
# SoPlex headers can be directly included
include_directories(${SOPLEX_INCLUDE_DIRS})
set(LPS_LIBRARIES ${SOPLEX_LIBRARIES})
if(SHARED)
set(LPS_PIC_LIBRARIES ${SOPLEX_PIC_LIBRARIES})
else()
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(LEGACY)
set(lpi lpi/lpi_spx1.cpp)
else()
set(lpi lpi/lpi_spx2.cpp)
endif()
endif()
if(CLP_FOUND)
include_directories(${CLP_INCLUDE_DIRS})
set(lpi lpi/lpi_clp.cpp)
set(LPS_LIBRARIES ${CLP_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(CPLEX_FOUND)
include_directories(${CPLEX_INCLUDE_DIRS})
# only use lpi_cpx.c if LPSCHECK is not enabled
if(LPS STREQUAL "cpx")
set(lpi lpi/lpi_cpx.c)
endif()
set(LPS_LIBRARIES ${LPS_LIBRARIES} ${CPLEX_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_PIC_LIBRARIES} ${LPS_LIBRARIES})
endif()
if(GLOP_FOUND)
include_directories(${GLOP_INCLUDE_DIRS})
set(lpi lpi/lpi_glop.cpp)
set(LPS_LIBRARIES ${GLOP_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(GUROBI_FOUND)
include_directories(${GUROBI_INCLUDE_DIRS})
set(lpi lpi/lpi_grb.c)
set(LPS_LIBRARIES ${GUROBI_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(XPRESS_FOUND)
include_directories(${XPRESS_INCLUDE_DIRS})
set(lpi lpi/lpi_xprs.c)
set(LPS_LIBRARIES ${XPRESS_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(MOSEK_FOUND)
include_directories(${MOSEK_INCLUDE_DIRS})
set(lpi lpi/lpi_msk.c)
set(LPS_LIBRARIES ${MOSEK_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
if(QSO_FOUND)
include_directories(${QSO_INCLUDE_DIRS})
set(lpi lpi/lpi_qso.c)
set(LPS_LIBRARIES ${QSO_LIBRARIES})
set(LPS_PIC_LIBRARIES ${LPS_LIBRARIES})
endif()
#search the selected symmetry computation program
if(SYM STREQUAL "bliss")
find_package(BLISS)
if(BLISS_FOUND)
include_directories(${BLISS_INCLUDE_DIRS})
set(sym symmetry/compute_symmetry_bliss.cpp)
set(SYM_LIBRARIES ${BLISS_LIBRARIES})
set(SYM_PIC_LIBRARIES ${BLISS_LIBRARIES})
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${BLISS_DEFINITIONS}")
else()
set(sym symmetry/compute_symmetry_none.cpp)
endif()
elseif(SYM STREQUAL "none")
set(sym symmetry/compute_symmetry_none.cpp)
else()
message(FATAL_ERROR "option SYM has wrong value")
endif()
#
# enable coverage support
#
# it is very important to execute this prior to adding subdirectories because of
# the compiler flag changes
#
if( COVERAGE )
include(CodeCoverage)
APPEND_COVERAGE_COMPILER_FLAGS()
set(COVERAGE_EXCLUDES '/usr*')
#
# create a CMake script file that is executed to run the coverage test.
# With a script file, the return code of the tests is simply ignored,
# and a coverage report is generated even if some tests fail currently.
#
file(WRITE ${CMAKE_BINARY_DIR}/RunCoverage.cmake "execute_process(COMMAND ctest ${CMAKE_CTEST_COMMAND} ${COVERAGE_CTEST_ARGS})")
#
# setup the coverage target to execute the RunCoverage script
#
SETUP_TARGET_FOR_COVERAGE(NAME coverage
EXECUTABLE ${CMAKE_COMMAND} -P ${CMAKE_BINARY_DIR}/RunCoverage.cmake
DEPENDENCIES all_executables
)
endif()
# ZIMPL headers need to be copied to have the "zimpl/*.h" prefix
if(ZIMPL)
find_package(ZIMPL CONFIG)
endif()
if(ZIMPL_FOUND)
set(SCIP_WITH_ZIMPL on)
include_directories(${ZIMPL_INCLUDE_DIRS})
if(NOT SHARED)
set(ZIMPL_PIC_LIBRARIES ${ZIMPL_LIBRARIES})
endif()
else()
set(ZIMPL_LIBRARIES "")
set(ZIMPL_PIC_LIBRARIES "")
endif()
# IPOPT
if(IPOPT)
find_package(IPOPT 3.12.0)
endif()
if(IPOPT_FOUND)
include_directories(${IPOPT_INCLUDE_DIRS})
#on debian IPOPT package needs this definition to work
set(HAVE_CSTDDEF on)
set(NLPI_LIBRARIES ${IPOPT_LIBRARIES})
set(nlpi nlpi/nlpi_ipopt.cpp)
else()
set(nlpi nlpi/nlpi_ipopt_dummy.c)
endif()
# WORHP
if(WORHP)
find_package(WORHP)
endif()
if(WORHP_FOUND)
include_directories(${WORHP_INCLUDE_DIRS})
set(nlpi ${nlpi} nlpi/nlpi_worhp.c)
set(NLPI_LIBRARIES ${NLPI_LIBRARIES} ${WORHP_LIBRARIES})
else()
set(nlpi ${nlpi} nlpi/nlpi_worhp_dummy.c)
endif()
# FilterSQP (with CMake, nlpi_filtersqp doesn't build anyway)
set(nlpi ${nlpi} nlpi/nlpi_filtersqp_dummy.c)
# run checks to figure out how the rounding mode can be set
include(CheckSymbolExists)
check_symbol_exists(FE_DOWNWARD "fenv.h" LINUX_ROUNDING)
if(LINUX_ROUNDING)
set(SCIP_ROUNDING_FE on)
else()
check_symbol_exists(FP_RND_RM "float.h" OSF_ROUNDING)
if(OSF_ROUNDING)
set(SCIP_ROUNDING_FP on)
else()
check_symbol_exists(RC_DOWN "float.h" MS_ROUNDING)
if(MS_ROUNDING)
set(SCIP_ROUNDING_MS on)
else()
warning("cannot figure out how to set rounding mode")
endif()
endif()
endif()
find_package(Criterion)
# export compilation settings to header file
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/src/scip/config.h.in ${CMAKE_BINARY_DIR}/scip/config.h @ONLY)
include_directories(${CMAKE_BINARY_DIR})
# go to src/ and compile the code
add_subdirectory(src)
#
# we set the SCIP_DIR variable explicitly for the following examples/applications and unittests that depend on SCIP.
#
set(SCIP_DIR ${CMAKE_BINARY_DIR})
#
# add SCIP tests
#
add_subdirectory(check)
#
# add unit tests as a single target. Including tests will add the unit tests as single executables
#
add_custom_target(unittests)
add_subdirectory(tests EXCLUDE_FROM_ALL)
add_custom_target(all_executables DEPENDS scip unittests examples applications)
#
# add examples
#
# use sub directory bin/examples for executables of examples
#
set(OLD_CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_RUNTIME_OUTPUT_DIRECTORY})
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/examples)
add_subdirectory(examples)
#
# add applications
#
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${OLD_CMAKE_RUNTIME_OUTPUT_DIRECTORY}/applications)
add_subdirectory(applications)
#
# add AMPL interface
#
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${OLD_CMAKE_RUNTIME_OUTPUT_DIRECTORY}/interfaces/ampl)
add_subdirectory(interfaces/ampl EXCLUDE_FROM_ALL)
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${OLD_CMAKE_RUNTIME_OUTPUT_DIRECTORY})
enable_testing()
if(${CMAKE_SOURCE_DIR} STREQUAL ${CMAKE_CURRENT_SOURCE_DIR})
include(FeatureSummary)
feature_summary(WHAT ALL)
endif()