|
|
1.1 root 1: CFLAGS = -g
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 assert.o
3:
4: # FILES:
5: # trace.h constants and macro definitions
6: # trace.d data structures
7: # trace1.c reads in the tables, sets up data structures
8: # trace2.c memory allocation
9: # trace3.c the symbolic execution procedures
10: # trace4.c state space handler
11: # trace5.c lookup table for system states
12: # trace6.c lookup table for queue states
13: # trace7.c lookup table for leaf-states
14: # trace8.c lookup table for variable & parameter states
15: # trace9.c lookup table for process states
16: # trace.expr.c evaluation of expressions
17: # malloc_t.c memory allocation interface to cmalloc.c
18: # assert.c assertion primitives
19:
20: trace: $(OBJS)
21: cc $(CFLAGS) $(OBJS) -o trace
22:
23: %.o: %.c trace.d trace.h
24: cc $(CFLAGS) -c $%.c
25:
26: clean:
27: rm -f *.o pret.* mon.out core a.out
28:
29: install:
30: cp trace /usr/bin
31:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.