Mercurial > hg > Members > nobuyasu > CbC

comparison DPP/Makefile @ 0:a89b61162c29

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add DPP
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Sat, 04 Feb 2012 12:40:32 +0900
parents
children 6695c97470f3
comparison
equal deleted inserted replaced
-1:000000000000 0:a89b61162c29
1 CC=gcc
2 MCC=mcc
3 TARGET=dpp dpp2 tableau tableau2 tableau3
4 MCCFLAGS=-s
5 CFLAGS=-I. -g -Wall
6
7 .SUFFIXES: .cbc .c .o
8
9 .cbc.o:
10 $(MCC) $(MCCFLAGS) $<
11 $(CC) $(CFLAGS) -o $@ -c $(<:.cbc=.s)
12
13 all: $(TARGET)
14
15 # single running
16 dpp: dpp.o main.o
17 $(CC) $(CFLAGS) -o $@ $^
18
19 # multiple running
20 dpp2: dpp2.o queue.o scheduler.o memory.o crc32.o
21 $(CC) $(CFLAGS) -o $@ $^
22
23 # tableau expansion
24 tableau: dpp2.o queue.o tableau.o memory.o state_db.o crc32.o
25 $(CC) $(CFLAGS) -o $@ $^
26
27 # tableau expansion with LTL
28 tableau2: dpp2.o queue.o ltl.o tableau2.o memory.o state_db.o crc32.o
29 $(CC) $(CFLAGS) -o $@ $^
30
31 # tableau expansion with LTL (reduced the number of states)
32 tableau3: dpp3.o queue.o ltl.o tableau3.o memory.o state_db.o crc32.o
33 $(CC) $(CFLAGS) -o $@ $^
34
35 #
36
37 test: memory_test state_test
38
39 memory_test: test/memory_test
40 test/memory_test
41 state_test: test/state_test
42 test/state_test
43
44 test/memory_test: test/memory_test.o memory.o crc32.o
45 $(CC) $(CFLAGS) -I. $^ -o $@
46 test/state_test: test/state_test.o memory.o state_db.o crc32.o
47 $(CC) $(CFLAGS) -I. $^ -o $@
48
49 clean:
50 $(RM) -f $(TARGET)
51 $(RM) -f *.s *.o
52 $(RM) -f test/*.s test/*.o test/state_test test/memory_test
53
54
55 depend:
56 makedepend *.cbc *.[hc] test/*.c
57
58 # DO NOT DELETE
59
60 dpp.o: dpp.h
61 dpp2.o: dpp2.h queue.h dpp.h state_db.h scheduler.h
62 main.o: dpp.h
63 queue.o: queue.h dpp.h state_db.h
64 scheduler.o: /usr/include/stdio.h /usr/include/features.h
65 scheduler.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
66 scheduler.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
67 scheduler.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
68 scheduler.o: /usr/include/libio.h /usr/include/_G_config.h
69 scheduler.o: /usr/include/wchar.h /usr/include/bits/wchar.h
70 scheduler.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
71 scheduler.o: /usr/include/bits/sys_errlist.h /usr/include/stdlib.h
72 scheduler.o: /usr/include/sys/types.h /usr/include/time.h
73 scheduler.o: /usr/include/endian.h /usr/include/bits/endian.h
74 scheduler.o: /usr/include/sys/select.h /usr/include/bits/select.h
75 scheduler.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
76 scheduler.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
77 scheduler.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h
78 tableau.o: /usr/include/stdlib.h /usr/include/features.h
79 tableau.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
80 tableau.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
81 tableau.o: /usr/include/sys/types.h /usr/include/bits/types.h
82 tableau.o: /usr/include/bits/typesizes.h /usr/include/time.h
83 tableau.o: /usr/include/endian.h /usr/include/bits/endian.h
84 tableau.o: /usr/include/sys/select.h /usr/include/bits/select.h
85 tableau.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
86 tableau.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
87 tableau.o: /usr/include/alloca.h dpp2.h queue.h dpp.h state_db.h memory.h
88 memory.o: /usr/include/stdio.h /usr/include/features.h
89 memory.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
90 memory.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
91 memory.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
92 memory.o: /usr/include/libio.h /usr/include/_G_config.h /usr/include/wchar.h
93 memory.o: /usr/include/bits/wchar.h /usr/include/gconv.h
94 memory.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
95 memory.o: /usr/include/stdlib.h /usr/include/sys/types.h /usr/include/time.h
96 memory.o: /usr/include/endian.h /usr/include/bits/endian.h
97 memory.o: /usr/include/sys/select.h /usr/include/bits/select.h
98 memory.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
99 memory.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
100 memory.o: /usr/include/alloca.h memory.h crc32.h /usr/include/string.h
101 queue.o: dpp.h state_db.h
102 state_db.o: /usr/include/stdlib.h /usr/include/features.h
103 state_db.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
104 state_db.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
105 state_db.o: /usr/include/sys/types.h /usr/include/bits/types.h
106 state_db.o: /usr/include/bits/typesizes.h /usr/include/time.h
107 state_db.o: /usr/include/endian.h /usr/include/bits/endian.h
108 state_db.o: /usr/include/sys/select.h /usr/include/bits/select.h
109 state_db.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
110 state_db.o: /usr/include/sys/sysmacros.h /usr/include/bits/pthreadtypes.h
111 state_db.o: /usr/include/alloca.h state_db.h memory.h
112 test/memory_test.o: /usr/include/stdio.h /usr/include/features.h
113 test/memory_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
114 test/memory_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
115 test/memory_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
116 test/memory_test.o: /usr/include/libio.h /usr/include/_G_config.h
117 test/memory_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
118 test/memory_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
119 test/memory_test.o: /usr/include/bits/sys_errlist.h /usr/include/strings.h
120 test/memory_test.o: memory.h
121 test/state_test.o: /usr/include/stdio.h /usr/include/features.h
122 test/state_test.o: /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h
123 test/state_test.o: /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h
124 test/state_test.o: /usr/include/bits/types.h /usr/include/bits/typesizes.h
125 test/state_test.o: /usr/include/libio.h /usr/include/_G_config.h
126 test/state_test.o: /usr/include/wchar.h /usr/include/bits/wchar.h
127 test/state_test.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
128 test/state_test.o: /usr/include/bits/sys_errlist.h memory.h state_db.h