← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

« back to all changes in this revision

Viewing changes to CMakeLists.txt

  • Committer: Jiri Srba
  • Date: 2018-04-18 10:58:36 UTC
  • mfrom: (197.3.78 cpn_ctlss)
  • Revision ID: srba.jiri@gmail.com-20180418105836-a5rha272u0om4u77
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

Show diffs side-by-side

added added

removed removed

Lines of Context:
CMakeLists.txt
 
1
cmake_minimum_required(VERSION 2.8.4)
 
2
project(verifypn)
 
3
 
 
4
if (UNIX)
 
5
    if (CMAKE_SIZEOF_VOID_P EQUAL 8) # is system 64-bit?
 
6
        set(ARCH_TYPE "linux64")
 
7
    else()
 
8
        set(ARCH_TYPE "linux32")
 
9
    endif ()
 
10
elseif(APPLE)
 
11
    if (CMAKE_SIZEOF_VOID_P EQUAL 8) # is system 64-bit?
 
12
        set(ARCH_TYPE "osx64")
 
13
    else()
 
14
        set(ARCH_TYPE "osx32")
 
15
    endif ()
 
16
else()
 
17
    if (CMAKE_CL_64)
 
18
        set(ARCH_TYPE "win64")
 
19
    else()
 
20
        set(ARCH_TYPE "win32")
 
21
    endif()
 
22
endif ()
 
23
 
 
24
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fPIC -flto -march=x86-64 -std=c++14  -m64 -I.")
 
25
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -Wall -pedantic-errors -O2 -DNDEBUG")
 
26
set(CMAKE_CXX_FLAGS_DEBUG  "${CMAKE_CXX_FLAGS_DEBUG} -g")
 
27
 
 
28
set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -flto=4 -march=x86-64 -std=c++14 -m64 -static -static-libgcc -static-libstdc++")
 
29
set(CMAKE_EXE_LINKER_FLAGS_RELEASE "${CMAKE_EXE_LINKER_FLAGS_RELEASE} -O2 -DNDEBUG")
 
30
set(CMAKE_EXE_LINKER_FLAGS_DEBUG "${CMAKE_EXE_LINKER_FLAGS_DEBUG} -g")
 
31
 
 
32
include_directories(PUBLIC .)
 
33
 
 
34
file(GLOB verifypn_SRC
 
35
        "*.h"
 
36
        "*.cpp"
 
37
        "**/*.cpp"
 
38
        "**/*.h"
 
39
        "**/**/*.cpp"
 
40
        "**/**/*.h"
 
41
)
 
42
 
 
43
add_executable(verifypn ${verifypn_SRC})
 
44
target_link_libraries(verifypn ${CMAKE_SOURCE_DIR}/lpsolve/liblpsolve55-${ARCH_TYPE}.a)