← Back to branch summary

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

« back to all changes in this revision

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