# This makefile is used to create .tgz .zip versions
# of the BCPL distribution.

PUB = /homes/mr/public_html

# Public HTML directory if not mountable on this machine
# and the shared drive is called E: (/dose on Linux).
# Remember to call ssh-add before calling make sshpub.
SSHPUB = mr10@ely.cl.cam.ac.uk:public_html

help:
	@echo
	@echo "make all      Construct the files: bcpl.tgz and bcpl.zip"
	@echo "make dose     Put them in my E drive"
	@echo "make sshpube  Put them in /dose and my home page using scp"
	@echo "make pub      Same as make sshpube"
	@echo

all:
	rm -f *~ */*~
	rm -f TGZFILES
	date >TGZDATE
	cp TGZDATE cintcode/TGZDATE
	cp cintcode/doc/README .
	(cd cintcode; make vclean)
	(cd natbcpl; make clean)
	(cd bcplprogs; make vclean)
	(cd ..; tar cvzf bcpl.tgz BCPL)
	(cd ..; rm -f bcpl.zip)
	(cd ..;  zip -rv9 bcpl.zip BCPL)
	ls -l ../bcpl.tgz ../bcpl.zip >TGZFILES

pub:	sshpube

sshpube:	dose
	scp README TGZFILES ../bcpl.tgz ../bcpl.zip $(SSHPUB)/BCPL
	cp TGZDATE PUBDATE
	cp TGZDATE cintcode/PUBDATE
	cp TGZFILES PUBFILES
	@cat TGZFILES
	@cat TGZDATE

dose:	all
	cp ../bcpl.tgz ../bcpl.zip /dose
