blob: c08cf5f21fdfb6bf1be7a33a2a89c38e55850589 (
plain)
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
|
set(BASIC_SRC
src/basic/ConstString.cc
src/basic/Link.cc
)
set(OC_SRC
src/omega_core/oc.cc
src/omega_core/oc_eq.cc
src/omega_core/oc_exp_kill.cc
src/omega_core/oc_global.cc
src/omega_core/oc_print.cc
src/omega_core/oc_problems.cc
src/omega_core/oc_simple.cc
src/omega_core/oc_solve.cc
src/omega_core/oc_query.cc
src/omega_core/oc_quick_kill.cc
src/omega_core/oc_util.cc
)
set(PRES_SRC
src/pres_beaut.cc
src/pres_cnstr.cc
src/pres_col.cc
src/pres_conj.cc
src/pres_decl.cc
src/pres_dnf.cc
src/pres_form.cc
src/pres_gen.cc
src/pres_logic.cc
src/pres_print.cc
src/pres_rear.cc
src/pres_quant.cc
src/pres_subs.cc
src/pres_var.cc
)
set(REL_SRC
src/evac.cc
src/farkas.cc
src/hull_legacy.cc
src/hull_simple.cc
src/Relation.cc
src/Relations.cc
src/RelBody.cc
src/RelVar.cc
)
set(FANCY_SRC
src/closure.cc
src/reach.cc
)
include_directories(
${OMEGAROOT}/basic/include
include
)
add_library(omega
${BASIC_SRC}
${OC_SRC}
${PRES_SRC}
${REL_SRC}
${FANCY_SRC}
)
install(TARGETS omega
ARCHIVE DESTINATION lib)
install(DIRECTORY include
DESTINATION .)
|
