forked from tfiedor/gaston
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCMakeLists.txt
103 lines (94 loc) · 4.15 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
set (CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/CMake")
#include(cotire)
cmake_minimum_required(VERSION 2.8)
project(gaston2015)
set(REQUIRED_G++_VERSION 4.8.0)
# forcing 4.8 compilers
set(CMAKE_C_COMPILER "gcc")
set(GCC_ALTERNATIVES g++ g++-4.8)
set(CMAKE_CXX_COMPILER "g++-4.9")
include_directories(src)
include_directories(src/app)
include_directories(src/app/Frontend)
include_directories(include)
add_executable(gaston
src/app/main.cpp
src/app/Frontend/ast.cpp
src/app/Frontend/ast_visitor.cpp
src/app/Frontend/astdump.cpp
src/app/Frontend/code.cpp
src/app/Frontend/code_visitor.cpp
src/app/Frontend/codedump.cpp
src/app/Frontend/codesubst.cpp
src/app/Frontend/codetable.cpp
src/app/Frontend/freevars.cpp
src/app/Frontend/ident.cpp
src/app/Frontend/lib.cpp
src/app/Frontend/makeguide.cpp
src/app/Frontend/offsets.cpp
src/app/Frontend/parser.cpp
src/app/Frontend/predlib.cpp
src/app/Frontend/printline.cpp
src/app/Frontend/reduce.cpp
src/app/Frontend/scanner.cpp
src/app/Frontend/signature.cpp
src/app/Frontend/st_dfa.cpp
src/app/Frontend/st_gta.cpp
src/app/Frontend/symboltable.cpp
src/app/Frontend/timer.cpp
src/app/Frontend/untyped.cpp
src/app/DecisionProcedure/automata.cpp
src/app/DecisionProcedure/formula_existential_form_conversion.cpp
src/app/DecisionProcedure/formula_flattening.cpp
src/app/DecisionProcedure/formula_to_automaton_ws1s.cpp
src/app/DecisionProcedure/formula_to_automaton_ws2s.cpp
src/app/DecisionProcedure/formula_to_symbolic_automaton.cpp
src/app/DecisionProcedure/checkers/Checker.cpp
src/app/DecisionProcedure/checkers/SymbolicChecker.cpp
src/app/DecisionProcedure/containers/VarToTrackMap.cpp
src/app/DecisionProcedure/containers/SymbolicAutomata.cpp
src/app/DecisionProcedure/containers/Term.cpp
src/app/DecisionProcedure/containers/Workshops.cpp
src/app/DecisionProcedure/utils/Symbol.cpp
src/app/DecisionProcedure/visitors/BooleanUnfolder.cpp
src/app/DecisionProcedure/visitors/Flattener.cpp
src/app/DecisionProcedure/visitors/NegationUnfolder.cpp
src/app/DecisionProcedure/visitors/PrenexNormalFormTransformer.cpp
src/app/DecisionProcedure/visitors/SecondOrderRestricter.cpp
src/app/DecisionProcedure/visitors/SyntaxRestricter.cpp
src/app/DecisionProcedure/visitors/UniversalQuantifierRemover.cpp
src/app/DecisionProcedure/visitors/AntiPrenexer.cpp
src/app/DecisionProcedure/visitors/Reorderer.cpp
src/app/DecisionProcedure/visitors/BinaryReorderer.cpp
src/app/DecisionProcedure/visitors/QuantificationMerger.cpp
src/app/DecisionProcedure/visitors/FixpointDetagger.cpp
src/app/DecisionProcedure/visitors/PredicateUnfolder.cpp
src/app/DecisionProcedure/visitors/Tagger.cpp
src/app/DecisionProcedure/visitors/DotWalker.cpp
src/app/DecisionProcedure/visitors/MonaAutomataDotWalker.cpp
src/app/DecisionProcedure/visitors/BaseAutomataMerger.cpp
src/app/DecisionProcedure/visitors/ExistentialPrenexer.cpp
src/app/DecisionProcedure/visitors/ZeroOrderRemover.cpp
src/app/DecisionProcedure/visitors/MonaSerializer.cpp
src/app/DecisionProcedure/visitors/ShuffleVisitor.cpp
)
link_directories(${CMAKE_SOURCE_DIR}/src/libs/)
target_link_libraries(gaston ${CMAKE_SOURCE_DIR}/src/libs/libmonabdd.so)
target_link_libraries(gaston ${CMAKE_SOURCE_DIR}/src/libs/libmonadfa.so)
target_link_libraries(gaston ${CMAKE_SOURCE_DIR}/src/libs/libmonagta.so)
target_link_libraries(gaston ${CMAKE_SOURCE_DIR}/src/libs/libmonamem.so)
target_link_libraries(gaston ${CMAKE_SOURCE_DIR}/src/libs/libvata.a)
#cotire(gaston)
if (UNIX)
message(STATUS "Setting G++ flags")
#set(CMAKE_CXX_FLAGS "${CMAKE_C++_FLAGS} -m32 -std=c++0x -DHAVE_CONFIG_H -I. -I.. -I../include -O2 -g -O3")
set(CMAKE_CXX_FLAGS "${CMAKE_C++_FLAGS} -coverage -std=c++0x -DHAVE_CONFIG_H -I. -I.. -I../include -O2 -g -O3")
else()
message(fatal_error "Not supported yet")
endif()
##############################################################################
# TESTS
##############################################################################
# Include CTest so that sophisticated testing can be done now
include(CTest)
add_test(regression ${PROJECT_SOURCE_DIR}/testcheck.py)