|
|
1.1 root 1: CFLAGS =
2: OBJS = malloc_t.o cmalloc.o trace.expr.o trace1.o trace2.o trace3.o trace4.o trace5.o trace6.o trace7.o trace8.o trace9.o
3: DEST = /usr/bin
4:
5: # FILES:
6: # trace.h constants and macro definitions
7: # trace.d data structures
8: # trace.expr.c expressions
9: # trace1.c reads in the tables, sets up data structures
10: # trace2.c memory allocation
11: # trace3.c the symbolic execution procedures
12: # file "assert.c" is included in trace3.c
13: # trace4.c state space handler
14: # trace5.c hashed index for previously seen states
15: # trace6.c computes hash values
16: # trace7.c lookup table of queue state templates
17: # trace8.c 2nd order lookup tables
18: # trace9.c lookup table of leaf-states
19: # malloc_t.c memory allocation interface
20:
21: trace: $(OBJS) trace.d trace.h
22: $(CC) $(CFLAGS) $(OBJS) -o trace
23:
24: trace3.o: trace3.c assert.c
25:
26: pp:
27: pp -fPO makefile *.[cdh] | dcan
28:
29: wc:
30: wc *.[cdh]
31:
32: install:
33: strip trace
34: cp trace ${DEST}/trace
35:
36: clean:
37: rm -f *.o pret.out mon.out pret.tmp pret.err core a.out trace
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.