Return to makefile CVS log

Up to [Research Unix] / researchv10dc / vol2 / prefer

Annotation of researchv10dc/vol2/prefer/makefile, revision 1.1.1.1

1.1       root        1: MLIB=/usr/lib/monk
                      2: 
                      3: all:   prefer.out.i mycite examples paper
                      4: 
                      5: prefer.out.i: prefer.out
                      6:        pinvert prefer.out
                      7: 
                      8: examples:
                      9:        cd example; make all
                     10: 
                     11: mycite: 
                     12:        $LIB/cite -s .cite >mycite; rm .cite
                     13: 
                     14: paper:
                     15: #      /usr/mad/bin/mymonk -x -t -Rprefer.out paper.m
                     16:        monk -x -Sproof -t -Rprefer.out paper.m
                     17: 
                     18: clean:
                     19:        rm -f prefer.out.[hi] mycite .cite
                     20:        cd example; make clean
                     21: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.