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
|
MAINTAINERCLEANFILES = makefile.in makefile html.gta \
presburger_plus_012.dfa presburger_less_01.dfa \
presburger_timestwo_01.dfa presburger_const42.dfa
CLEANFILES = bdd_example.o gta_example.o presburger_analysis.o presburger_transduction.o \
bdd_example gta_example presburger_analysis presburger_transduction
EXTRA_DIST = bdd_volatility ab1.mona even_with_pred.mona minusmodulo.mona \
regexp.mona ab2.mona html.mona nadder.mona even.mona hyman.mona \
plusmodulo.mona even_with_assert.mona lossy_queue.mona presburger.mona \
bdd_example.c gta_example.c presburger_analysis.c presburger_transduction.c
COMPILE = $(CC) @CFLAGS@
examples: bdd_example gta_example presburger_analysis presburger_transduction
bdd_example: bdd_example.o
$(COMPILE) -o bdd_example bdd_example.o ../BDD/libbdd.a ../Mem/libmem.a
gta_example: gta_example.o
$(COMPILE) -o gta_example gta_example.o ../GTA/libgta.a ../BDD/libbdd.a ../Mem/libmem.a
presburger_transduction: presburger_transduction.o
$(COMPILE) -o presburger_transduction presburger_transduction.o \
../DFA/libdfa.a ../BDD/libbdd.a ../Mem/libmem.a
presburger_analysis: presburger_analysis.o
$(COMPILE) -o presburger_analysis presburger_analysis.o \
../DFA/libdfa.a ../BDD/libbdd.a ../Mem/libmem.a
%.o: %.c
$(COMPILE) -I../Mem -I../BDD -I../DFA -I../GTA -c $<
.PHONY: examples
|
