blob: 455fc58ce4d605dd35b37b697dfa074ecd90afee (
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
|
noinst_LIBRARIES = libomega.a
basic_src =../../basic/src/ConstString.cc
basic_src +=../../basic/src/Link.cc
oc_src =../src/omega_core/oc.cc
oc_src +=../src/omega_core/oc_eq.cc
oc_src +=../src/omega_core/oc_exp_kill.cc
oc_src +=../src/omega_core/oc_global.cc
oc_src +=../src/omega_core/oc_print.cc
oc_src +=../src/omega_core/oc_problems.cc
oc_src +=../src/omega_core/oc_simple.cc
oc_src +=../src/omega_core/oc_solve.cc
oc_src +=../src/omega_core/oc_query.cc
oc_src +=../src/omega_core/oc_quick_kill.cc
oc_src +=../src/omega_core/oc_util.cc
pres_src =../src/pres_beaut.cc
pres_src +=../src/pres_cnstr.cc
pres_src +=../src/pres_col.cc
pres_src +=../src/pres_conj.cc
pres_src +=../src/pres_decl.cc
pres_src +=../src/pres_dnf.cc
pres_src +=../src/pres_form.cc
pres_src +=../src/pres_gen.cc
pres_src +=../src/pres_logic.cc
pres_src +=../src/pres_print.cc
pres_src +=../src/pres_rear.cc
pres_src +=../src/pres_quant.cc
pres_src +=../src/pres_subs.cc
pres_src +=../src/pres_var.cc
rel_src =../src/evac.cc
rel_src +=../src/farkas.cc
rel_src +=../src/hull_legacy.cc
rel_src +=../src/hull_simple.cc
rel_src +=../src/Relation.cc
rel_src +=../src/Relations.cc
rel_src +=../src/RelBody.cc
rel_src +=../src/RelVar.cc
fancy_src =../src/closure.cc
fancy_src +=../src/reach.cc
libomega_a_SOURCES =$(basic_src) $(oc_src) $(pres_src) $(rel_src) $(fancy_src)
libomega_a_CPPFLAGS =-I../include -I../../basic/include
|
