Return to makefile CVS log

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

Annotation of researchv10dc/vol2/prefer/makefile, revision 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.