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
|
cmake_minimum_required(VERSION 3.9)
cmake_policy(SET CMP0048 NEW)
cmake_policy(SET CMP0069 NEW)
set(CMAKE_CXX_STANDARD 17)
if (NOT CMAKE_BUILD_TYPE)
set(CMAKE_BUILD_TYPE Release)
endif (NOT CMAKE_BUILD_TYPE)
if (CMAKE_BUILD_TYPE MATCHES Release)
if (NOT APPLE)
set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE)
endif ()
endif ()
set(CMAKE_POSITION_INDEPENDENT_CODE ON)
set(VERIFYPN_VERSION 4.1.0)
add_compile_definitions(VERIFYPN_VERSION=\"${VERIFYPN_VERSION}\")
project(verifypn VERSION ${VERIFYPN_VERSION} LANGUAGES CXX C)
option(VERIFYPN_Static "Link libraries statically" ON)
option(VERIFYPN_MC_Simplification "Enables multicore simplification, incompatible with static linking" OFF)
option(VERIFYPN_GetDependencies "Fetch external dependencies from web." ON)
if (VERIFYPN_Static)
set(BUILD_SHARED_LIBS OFF)
if (VERIFYPN_MC_Simplification)
message( FATAL_ERROR "Multicore Simplification is not compatible with static linking" )
endif(VERIFYPN_MC_Simplification)
if (NOT APPLE)
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -static")
endif(NOT APPLE)
endif (VERIFYPN_Static)
if (VERIFYPN_MC_Simplification)
add_compile_definitions(VERIFYPN_MC_Simplification)
endif(VERIFYPN_MC_Simplification)
if (UNIX AND NOT APPLE)
set(ARCH_TYPE "linux64")
elseif(APPLE)
set(ARCH_TYPE "osx64")
set(CMAKE_OSX_DEPLOYMENT_TARGET 10.8)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -m64 ")
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -m64 ")
else()
set(ARCH_TYPE "win64")
endif ()
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -s -Wall -pedantic-errors -O3 -DNDEBUG")
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -O0 -fno-omit-frame-pointer ")
set(CMAKE_EXE_LINKER_FLAGS_RELEASE "${CMAKE_EXE_LINKER_FLAGS_RELEASE} -O3 -DNDEBUG")
if (VERIFYPN_Static AND NOT APPLE)
set(CMAKE_EXE_LINKER_FLAGS_RELEASE "${CMAKE_EXE_LINKER_FLAGS_RELEASE} -static")
endif()
set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
find_package(FLEX 2.6.4 REQUIRED)
find_package(BISON 3.7.0 REQUIRED)
if (VERIFYPN_GetDependencies)
# setup for external imports
include(ExternalProject)
set(EXTERNAL_INSTALL_LOCATION ${CMAKE_BINARY_DIR}/external)
ExternalProject_add(ptrie-ext
GIT_REPOSITORY https://github.com/petergjoel/ptrie
GIT_TAG 230b3640bfbe2ed5befdafbaf17bd3804231b50f
CMAKE_ARGS -DCMAKE_INSTALL_PREFIX=${EXTERNAL_INSTALL_LOCATION} -DPTRIE_BuildTest=OFF -DCMAKE_BUILD_TYPE=Release
)
ExternalProject_add(rapidxml-ext
URL https://downloads.sourceforge.net/project/rapidxml/rapidxml/rapidxml%201.13/rapidxml-1.13.zip
URL_HASH SHA512=6c10583e6631ccdb0217d0a5381172cb4c1046226de6ef1acf398d85e81d145228e14c3016aefcd7b70a1db8631505b048d8b4f5d4b0dbf1811d2482eefdd265
BUILD_COMMAND ""
CONFIGURE_COMMAND mkdir -p ${CMAKE_BINARY_DIR}/external/include
INSTALL_COMMAND cd ../rapidxml-ext && ${CMAKE_COMMAND} -E copy rapidxml.hpp rapidxml_iterators.hpp rapidxml_print.hpp rapidxml_utils.hpp ${EXTERNAL_INSTALL_LOCATION}/include
)
if (UNIX AND NOT APPLE)
ExternalProject_add(spot-ext
URL http://www.lrde.epita.fr/dload/spot/spot-2.9.6.tar.gz
URL_HASH SHA512=69ec8a3ce84b2c069bf40b8d2127e5085724c8e4ba88ffdefc3e2225f6334955959afd17bcfcde29fd6826d78d49a7f1303bd07ba756a8695473ff6cc5ade3a2
BUILD_COMMAND make
CONFIGURE_COMMAND CC=${CMAKE_C_COMPILER} CXX=${CMAKE_CXX_COMPILER} <SOURCE_DIR>/configure --prefix ${EXTERNAL_INSTALL_LOCATION} --disable-python --disable-devel --disable-debug --disable-shared --enable-static --enable-c++17 CFLAGS=-flto CXXFLAGS=-flto LDFLAGS=-fuse-linker-plugin
INSTALL_COMMAND make install
)
else ()
ExternalProject_add(spot-ext
URL http://www.lrde.epita.fr/dload/spot/spot-2.9.6.tar.gz
URL_HASH SHA512=69ec8a3ce84b2c069bf40b8d2127e5085724c8e4ba88ffdefc3e2225f6334955959afd17bcfcde29fd6826d78d49a7f1303bd07ba756a8695473ff6cc5ade3a2
BUILD_COMMAND make
CONFIGURE_COMMAND CC=${CMAKE_C_COMPILER} CXX=${CMAKE_CXX_COMPILER} <SOURCE_DIR>/configure --prefix ${EXTERNAL_INSTALL_LOCATION} --disable-python --disable-devel --disable-debug --disable-shared --enable-static --enable-c++17 CFLAGS=${CMAKE_CXX_FLAGS} LDFLAGS=${CMAKE_LINKER_FLAGS}
INSTALL_COMMAND make install
)
endif ()
if (WIN32) #If windows 32 or 64
set(GLPK_CFLAGS "-D __WOE__ -O3" )
else(WIN32)
set(GLPK_CFLAGS "-O3" )
endif(WIN32)
ExternalProject_add(glpk-ext
URL https://ftp.gnu.org/gnu/glpk/glpk-4.65.tar.gz
URL_HASH SHA512=997e8e599ff1718a08c66b86eadd0e01f4644899f1e95920f8ae91d66b4d8361021766b346845f4dcbcfe667b41ab72ea3d377017a0ebf85d7ece091cfd81375
CONFIGURE_COMMAND CC=${CMAKE_C_COMPILER} CXX=${CMAKE_CXX_COMPILER} <SOURCE_DIR>/configure --enable-shared=no --prefix=${EXTERNAL_INSTALL_LOCATION} CFLAGS=${GLPK_CFLAGS}
BUILD_COMMAND make
INSTALL_COMMAND make install
PATCH_COMMAND patch -p1 < ${PROJECT_SOURCE_DIR}/glpk-warning.patch
)
link_directories(${EXTERNAL_INSTALL_LOCATION}/lib)
link_directories(${EXTERNAL_INSTALL_LOCATION}/lib64)
# we can now include external libraries
include_directories(${EXTERNAL_INSTALL_LOCATION}/include)
endif (VERIFYPN_GetDependencies)
include_directories(include)
add_subdirectory(${CMAKE_SOURCE_DIR}/src/)
|