← Back to branch summary

~tapaal-ltl/verifypn/stubborn-set-refactor-merged

« back to all changes in this revision

Viewing changes to CMakeLists.txt

  • Committer: Peter G. Jensen
  • Date: 2021-03-05 16:43:31 UTC
  • mfrom: (226.2.36 ltl-model-checker)
  • Revision ID: root@petergjoel.dk-20210305164331-ufyicvb925rocwrj
Merged stubborn-refactor and ltl engine

Show diffs side-by-side

added added

removed removed

Lines of Context:
CMakeLists.txt
24
24
option(VERIFYPN_MC_Simplification "Enables multicore simplification, incompatible with static linking" OFF)
25
25
option(VERIFYPN_GetDependencies "Fetch external dependencies from web." ON)
26
26
 
 
27
if (CMAKE_BUILD_TYPE MATCHES Debug)
 
28
    set(VERIFYPN_Static OFF)
 
29
endif()
27
30
 
28
31
if (VERIFYPN_Static)
29
32
    set(BUILD_SHARED_LIBS OFF)
54
57
endif ()
55
58
 
56
59
set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -Wall -pedantic-errors -O3 -DNDEBUG")
57
 
 
 
60
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -O0 -fno-omit-frame-pointer")
58
61
set(CMAKE_EXE_LINKER_FLAGS_RELEASE "${CMAKE_EXE_LINKER_FLAGS_RELEASE} -O3 -DNDEBUG")
59
62
if (VERIFYPN_Static AND NOT APPLE)
60
63
    set(CMAKE_EXE_LINKER_FLAGS_RELEASE "${CMAKE_EXE_LINKER_FLAGS_RELEASE} -static")
82
85
        INSTALL_COMMAND cd ../rapidxml-ext && ${CMAKE_COMMAND} -E copy rapidxml.hpp rapidxml_iterators.hpp rapidxml_print.hpp rapidxml_utils.hpp ${EXTERNAL_INSTALL_LOCATION}/include    
83
86
    )
84
87
 
 
88
    ExternalProject_add(spot-ext
 
89
        URL http://www.lrde.epita.fr/dload/spot/spot-2.9.4.tar.gz
 
90
        URL_HASH SHA512=d8e5f8c97495f7964698547d83d8a657afb5e71e886d31298802a6d9d449359d9b34714c080551ca24ab1dce9ca874bfc79ac70d3236dbf6e4fd56bd981483bf
 
91
        BUILD_COMMAND make -j8
 
92
        CONFIGURE_COMMAND <SOURCE_DIR>/configure --prefix ${EXTERNAL_INSTALL_LOCATION} --disable-python
 
93
        INSTALL_COMMAND make install
 
94
    )
 
95
 
85
96
    if (WIN32) #If windows 32 or 64 
86
97
      set(GLPK_CFLAGS "-D __WOE__ -O3" )
87
98
    else(WIN32)