PEM_PATH=/user3/pas/lib/pc_pem
PEMI_PATH=/user3/pas/lib/pc_pem.out

SEP_OPT=-i

bootI:
		../misc/pcboot --t pemboot.m -o pc_pem.out

bootC:
		../misc/pcboot -C -3 pemboot.m
		../misc/pcboot -C pemboot.o -o pc_pem-n
		../misc/pcboot -C -i pemboot.o -o pc_pem-i
		rm -f pemboot.o

preboot:	pem.m
		rm -f pemboot.m
		mv pem.m pemboot.m
		chmod 444 pemboot.m

all:		pc_pem$(SEP_OPT) pc_pem.out

cp:		all cpI cpC

cpC:
		cp pc_pem$(SEP_OPT) $(PEM_PATH)
		rm -f pc_pem-?

cpI:
		cp pc_pem.out $(PEMI_PATH)
		rm -f pc_pem.out

cmp:		all
		cmp pc_pem$(SEP_OPT) $(PEM_PATH)
		cmp pc_pem.out $(PEMI_PATH)
		rm -f pc_pem*

pc_pem-n:	pem.m
		pc -C pem.m -o pc_pem-n

pc_pem-i:	pem.m
		pc -C -i pem.m -o pc_pem-i

pc_pem.out:	pem.m
		pc --t pem.m -o pc_pem.out

pem.m:		pem.p ../h/local.h ../h/em1.h
		make pem.m$(SEP_OPT)

pem.m-i:
		pc -2 -O pem.p

pem.m-n:
		pc -I -2 -O pem.p
