# This Makefile creates .tgz and .zip versions
# of the Bench directory

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: bench.tgz and bench.zip"
	@echo "make dosd     Put them in my D drive (/dosd)"
	@echo "make dose     Put them in my E drive (/dose)"
	@echo "make pub      Put them also in my home page"
	@echo "make sshpubd  Put them in /dosd and my home page using scp"
	@echo "make sshpube  Put them in /dose and my home page using scp"
	@echo

all:
	rm -f *~ */*~
	echo >TGZDATE
	echo -n "Distributed from machine: " >>TGZDATE
	hostname >>TGZDATE
	date >>TGZDATE
	rm -f FILES
	cp src/doc/README .
	(cd ..; tar cvzf bench.tgz Bench)
	(cd ..; rm -f bench.zip)
	(cd ..;  zip -rv9 bench.zip Bench)
	cp TGZDATE FILES
	ls -l ../bench.tgz ../bench.zip>>FILES

pub:	dosd
	cp README FILES ../bench.tgz ../bench.zip $(PUB)/Bench
	cat FILES

sshpubd:	dosd
	scp README FILES ../bench.tgz ../bench.zip $(SSHPUB)/Bench
	cat FILES

sshpube:	dose
	scp README FILES ../bench.tgz ../bench.zip $(SSHPUB)/Bench
	cat FILES

dosd:	all
	cp ../bench.tgz ../bench.zip /dosd

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




