Mercurial > hg > Members > nobuyasu > CbC

annotate DPP/Makefile @ 3:4e98faa1d831

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