Makefile revision 46713e5f9ffe83b6f0bd0f0a4fb297bf25da3112
DMTCP_VERSION="1.2.5"
hol_light.dmtcp: Makefile exportTools/*.ml imageTools/*.sh imageTools/hol_light/pa_j.ml imageTools/dmtcp/bin/dmtcp_command imageTools/dmtcp/bin/dmtcp_coordinator imageTools/dmtcp/bin/dmtcp_checkpoint
HETS_HOL_DIR=${HETS_HOL_DIR} \
wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
:
wget http://downloads.sourceforge.net/project/dmtcp/dmtcp/$(DMTCP_VERSION)/dmtcp-$(DMTCP_VERSION).tar.gz -O imageTools/tmp/dmtcp.tar.gz