|
|
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.