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
104
105
106
107
108
109
110
111
112
113
114
115
116
|
# LADR/apps.src
CC = gcc
# XFLAGS can be specified on the command line (see XFLAGS below)
CFLAGS = $(XFLAGS) -O -Wall
# CFLAGS = $(XFLAGS) -O6 -Wall
# CFLAGS = $(XFLAGS) -g -O -Wall
# CFLAGS = $(XFLAGS) -g -O0 -Wall
# CFLAGS = $(XFLAGS) -pg -O -Wall
# CFLAGS = $(XFLAGS) -Wall -pedantic
PROGRAMS = latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex
all: ladr apps install realclean
ladr:
cd ../ladr && $(MAKE) libladr.a
clean:
/bin/rm -f *.o
realclean:
/bin/rm -f *.o $(PROGRAMS)
install:
/bin/mv $(PROGRAMS) ../bin
tags:
etags *.c ../ladr/*.c
apps: $(PROGRAMS)
test: test.o
$(CC) $(CFLAGS) -o test test.o ../ladr/libladr.a
interpformat: interpformat.o
$(CC) $(CFLAGS) -o interpformat interpformat.o ../ladr/libladr.a
prooftrans: prooftrans.o
$(CC) $(CFLAGS) -o prooftrans prooftrans.o ../ladr/libladr.a
directproof: directproof.o
$(CC) $(CFLAGS) -o directproof directproof.o ../ladr/libladr.a
test_clause_eval: test_clause_eval.o
$(CC) $(CFLAGS) -o test_clause_eval test_clause_eval.o ../ladr/libladr.a
test_complex: test_complex.o
$(CC) $(CFLAGS) -o test_complex test_complex.o ../ladr/libladr.a
complex: complex.o
$(CC) $(CFLAGS) -o complex complex.o ../ladr/libladr.a
latfilter: latfilter.o
$(CC) $(CFLAGS) -o latfilter latfilter.o ../ladr/libladr.a
olfilter: olfilter.o
$(CC) $(CFLAGS) -o olfilter olfilter.o ../ladr/libladr.a
unfast: unfast.o
$(CC) $(CFLAGS) -o unfast unfast.o ../ladr/libladr.a
upper-covers: upper-covers.o
$(CC) $(CFLAGS) -o upper-covers upper-covers.o ../ladr/libladr.a
miniscope: miniscope.o
$(CC) $(CFLAGS) -o miniscope miniscope.o ../ladr/libladr.a
isofilter0: isofilter0.o
$(CC) $(CFLAGS) -o isofilter0 isofilter0.o ../ladr/libladr.a
isofilter: isofilter.o
$(CC) $(CFLAGS) -o isofilter isofilter.o ../ladr/libladr.a
isofilter2: isofilter2.o
$(CC) $(CFLAGS) -o isofilter2 isofilter2.o ../ladr/libladr.a
dprofiles: dprofiles.o
$(CC) $(CFLAGS) -o dprofiles dprofiles.o ../ladr/libladr.a
renamer: renamer.o
$(CC) $(CFLAGS) -o renamer renamer.o ../ladr/libladr.a
rewriter: rewriter.o
$(CC) $(CFLAGS) -o rewriter rewriter.o ../ladr/libladr.a
idfilter: idfilter.o
$(CC) $(CFLAGS) -o idfilter idfilter.o ../ladr/libladr.a
clausefilter: clausefilter.o
$(CC) $(CFLAGS) -o clausefilter clausefilter.o ../ladr/libladr.a
interpfilter: interpfilter.o
$(CC) $(CFLAGS) -o interpfilter interpfilter.o ../ladr/libladr.a
clausetester: clausetester.o
$(CC) $(CFLAGS) -o clausetester clausetester.o ../ladr/libladr.a
mirror-flip: mirror-flip.o
$(CC) $(CFLAGS) -o mirror-flip mirror-flip.o ../ladr/libladr.a
perm3: perm3.o
$(CC) $(CFLAGS) -o perm3 perm3.o ../ladr/libladr.a
sigtest: sigtest.o
$(CC) $(CFLAGS) -o sigtest sigtest.o ../ladr/libladr.a
rewriter2: rewriter2.o
$(CC) $(CFLAGS) -o rewriter2 rewriter2.o ../ladr/libladr.a
|
