← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to .pc/01-libtoolise.patch/apps.src/Makefile

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
.pc/01-libtoolise.patch/apps.src/Makefile
 
1
# LADR/apps.src
 
2
 
 
3
CC = gcc
 
4
 
 
5
# XFLAGS can be specified on the command line (see XFLAGS below)
 
6
 
 
7
CFLAGS = $(XFLAGS) -O -Wall
 
8
# CFLAGS = $(XFLAGS) -O6 -Wall
 
9
# CFLAGS = $(XFLAGS) -g  -O -Wall
 
10
# CFLAGS = $(XFLAGS) -g -O0 -Wall
 
11
# CFLAGS = $(XFLAGS) -pg -O -Wall
 
12
# CFLAGS = $(XFLAGS)  -Wall -pedantic
 
13
 
 
14
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 gen_trc_defs
 
15
 
 
16
all: ladr apps install realclean
 
17
 
 
18
ladr:
 
19
        cd ../ladr && $(MAKE) libladr.a
 
20
 
 
21
clean:
 
22
        /bin/rm -f *.o
 
23
 
 
24
realclean:
 
25
        /bin/rm -f *.o $(PROGRAMS)
 
26
 
 
27
install:
 
28
        /bin/mv $(PROGRAMS) ../bin
 
29
 
 
30
tags:
 
31
        etags *.c ../ladr/*.c
 
32
 
 
33
apps: $(PROGRAMS)
 
34
 
 
35
test: test.o
 
36
        $(CC) $(CFLAGS) -o test test.o ../ladr/libladr.a
 
37
 
 
38
interpformat: interpformat.o
 
39
        $(CC) $(CFLAGS) -o interpformat interpformat.o ../ladr/libladr.a
 
40
 
 
41
prooftrans: prooftrans.o
 
42
        $(CC) $(CFLAGS) -o prooftrans prooftrans.o ../ladr/libladr.a
 
43
 
 
44
directproof: directproof.o
 
45
        $(CC) $(CFLAGS) -o directproof directproof.o ../ladr/libladr.a
 
46
 
 
47
test_clause_eval: test_clause_eval.o
 
48
        $(CC) $(CFLAGS) -o test_clause_eval test_clause_eval.o ../ladr/libladr.a
 
49
 
 
50
test_complex: test_complex.o
 
51
        $(CC) $(CFLAGS) -o test_complex test_complex.o ../ladr/libladr.a
 
52
 
 
53
complex: complex.o
 
54
        $(CC) $(CFLAGS) -o complex complex.o ../ladr/libladr.a
 
55
 
 
56
latfilter: latfilter.o
 
57
        $(CC) $(CFLAGS) -o latfilter latfilter.o ../ladr/libladr.a
 
58
 
 
59
olfilter: olfilter.o
 
60
        $(CC) $(CFLAGS) -o olfilter olfilter.o ../ladr/libladr.a
 
61
 
 
62
unfast: unfast.o
 
63
        $(CC) $(CFLAGS) -o unfast unfast.o ../ladr/libladr.a
 
64
 
 
65
upper-covers: upper-covers.o
 
66
        $(CC) $(CFLAGS) -o upper-covers upper-covers.o ../ladr/libladr.a
 
67
 
 
68
miniscope: miniscope.o
 
69
        $(CC) $(CFLAGS) -o miniscope miniscope.o ../ladr/libladr.a
 
70
 
 
71
isofilter0: isofilter0.o
 
72
        $(CC) $(CFLAGS) -o isofilter0 isofilter0.o ../ladr/libladr.a
 
73
 
 
74
isofilter: isofilter.o
 
75
        $(CC) $(CFLAGS) -o isofilter isofilter.o ../ladr/libladr.a
 
76
 
 
77
isofilter2: isofilter2.o
 
78
        $(CC) $(CFLAGS) -o isofilter2 isofilter2.o ../ladr/libladr.a
 
79
 
 
80
dprofiles: dprofiles.o
 
81
        $(CC) $(CFLAGS) -o dprofiles dprofiles.o ../ladr/libladr.a
 
82
 
 
83
renamer: renamer.o
 
84
        $(CC) $(CFLAGS) -o renamer renamer.o ../ladr/libladr.a
 
85
 
 
86
rewriter: rewriter.o
 
87
        $(CC) $(CFLAGS) -o rewriter rewriter.o ../ladr/libladr.a
 
88
 
 
89
idfilter: idfilter.o
 
90
        $(CC) $(CFLAGS) -o idfilter idfilter.o ../ladr/libladr.a
 
91
 
 
92
clausefilter: clausefilter.o
 
93
        $(CC) $(CFLAGS) -o clausefilter clausefilter.o ../ladr/libladr.a
 
94
 
 
95
interpfilter: interpfilter.o
 
96
        $(CC) $(CFLAGS) -o interpfilter interpfilter.o ../ladr/libladr.a
 
97
 
 
98
clausetester: clausetester.o
 
99
        $(CC) $(CFLAGS) -o clausetester clausetester.o ../ladr/libladr.a
 
100
 
 
101
mirror-flip: mirror-flip.o
 
102
        $(CC) $(CFLAGS) -o mirror-flip mirror-flip.o ../ladr/libladr.a
 
103
 
 
104
perm3: perm3.o
 
105
        $(CC) $(CFLAGS) -o perm3 perm3.o ../ladr/libladr.a
 
106
 
 
107
sigtest: sigtest.o
 
108
        $(CC) $(CFLAGS) -o sigtest sigtest.o ../ladr/libladr.a
 
109
 
 
110
rewriter2: rewriter2.o
 
111
        $(CC) $(CFLAGS) -o rewriter2 rewriter2.o ../ladr/libladr.a
 
112
 
 
113
gen_trc_defs: gen_trc_defs.o
 
114
        $(CC) $(CFLAGS) -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a
 
115
 
 
116
 
 
117
 
 
118
 
 
119