|
|
1.1 root 1: all: typerefs.i simple.t hirst.t lamport.t type.in
2:
3: typerefs.i: typerefs
4: pinvert typerefs
5:
6: hirst.i: hirst
7: pinvert hirst
8:
9: simple.t: simple.doc
10: sed "s/\|/\|sp\(\|s\)/g" <simple.doc >simple.in
11: prefer -p../prefer.out simple.doc >simple.t
12:
13: lamport.t: lamport.doc
14: sed "s/\|/\|sp\(\|s\)/g" <lamport.doc >lamport.in
15: prefer -p../prefer.out -sapa lamport.doc >lamport.t
16:
17: hirst.t: hirst.i
18: prefer -phirst hirst.doc >hirst.t
19:
20: type.in: typerefs.i type.doc
21: sed "s/\|/\|sp\(\|s\)/g" <type.doc >type.in
22: prefer -ptyperefs -sacm type.doc | fgrep -v ".nr RF" >type.acm
23: prefer -ptyperefs -sapa type.doc | fgrep -v ".nr RF" >type.apa
24:
25: clean:
26: rm -f *.[ih] *.t type.acm type.apa *.in
27:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.