INT_DIR=/user3/pas/lib/em1_int

all:
	rm -rf $(INT_DIR)
	mkdir $(INT_DIR)
	cp em.s ../h/local.s ?+ ?- $(INT_DIR)
	em1 -i
	em1 -i +r
	em1 -i +t
	em1 -i +rt
	rm -f em1??????

boot0:
	../misc/em1boot -i
	../misc/em1boot -i +r
	../misc/em1boot -i +t
	../misc/em1boot -i +rt
