Return to makefile CVS log

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

researchv10 Dan Cross

MLIB=/usr/lib/monk

all:	prefer.out.i mycite examples paper

prefer.out.i: prefer.out
	pinvert prefer.out

examples:
	cd example; make all

mycite: 
	$LIB/cite -s .cite >mycite; rm .cite

paper:
#	/usr/mad/bin/mymonk -x -t -Rprefer.out paper.m
	monk -x -Sproof -t -Rprefer.out paper.m

clean:
	rm -f prefer.out.[hi] mycite .cite
	cd example; make clean

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