# This makefile is used to create .tgz .zip versions
# of the distribution directories 
#     cintcode
#     bcplprogs
#     natbcpl

PUB = /homes/mr/public_html

help:
	@echo
	@echo "make all   Construct the compressed files: bcpl.tgz and bcpl.zip"
	@echo "make dosd  Put them in my D drive"
	@echo "make pub   Put them also in my home page"
	@echo

all:	
	cp -p cintcode/doc/README .
	(cd cintcode; make clean)
	(cd natbcpl; make vclean)
	(cd bcplprogs; make vclean)
	(cd ..; tar cvzf bcpl.tgz BCPL)
	(cd ..; rm -f bcpl.zip)
	(cd ..;  zip -rv9 bcpl.zip BCPL)
	echo >/tmp/FILES
	echo -n "Distribution from machine: " >>/tmp/FILES
	hostname >>/tmp/FILES
	date >>/tmp/FILES
	ls -l ../bcpl.tgz ../bcpl.zip>>/tmp/FILES
	mv /tmp/FILES .
# do a second time so that the size and date of FILES is right
	echo >/tmp/FILES
	echo -n "Distribution from machine: " >>/tmp/FILES
	hostname >>/tmp/FILES
	date >>/tmp/FILES
	ls -l ../bcpl.tgz ../bcpl.zip>>/tmp/FILES
	mv /tmp/FILES .
	cat FILES

pub:	dosd
	cp -p cintcode/doc/README $(PUB)/BCPL
	cp -p FILES $(PUB)/BCPL
	cp -p ../bcpl.tgz $(PUB)/BCPL
	cp -p ../bcpl.zip $(PUB)/BCPL
	cat FILES

dosd:	all
	cp -p ../bcpl.tgz /dosd/BCPL
	cp -p ../bcpl.zip /dosd/BCPL

