Makefile revision 08c52c0cec0842d53e51cfbedae2c0e0d6c4e641
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeSHELL=/bin/bash
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipePLATFORM=`uname -m`
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeDMTCP_VERSION="1.2.3"
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeHETS_HOLLIGHT_TOOLS=$(PWD)/exportTools/
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipehol_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
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe HETS_OCAML_LIB_DIR=${HETS_OCAML_LIB_DIR} \
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeHETS_HOL_DIR=${HETS_HOL_DIR} \
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeHETS_HOLLIGHT_TOOLS=${HETS_HOLLIGHT_TOOLS} \
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignacimageTools/createImage.sh
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeclean:
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe rm -rf *.dmtcp imageTools/dmtcp/ imageTools/hol_light/ imageTools/tmp/*
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeimageTools/hol_light/pa_j.ml: imageTools/hol_light/
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac make -C imageTools/hol_light/ && touch imageTools/hol_light/pa_j.ml
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignacimageTools/hol_light/: imageTools/tmp/hol_light.tar.gz
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac cd imageTools/tmp/ && tar zfx hol_light.tar.gz && mv hol_light ../
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeimageTools/tmp/hol_light.tar.gz:
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeimageTools/dmtcp/bin/dmtcp_%: imageTools/dmtcp/bin/
a3d3ab94806056d2355afea6fe8daac41059b9fbludovicp :
0f8553e2af5fc49a510ecfcfc93e66d06713f631ludo
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipeimageTools/dmtcp/bin/: imageTools/dmtcp/
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe cd imageTools/dmtcp && ./configure && make
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
0f8553e2af5fc49a510ecfcfc93e66d06713f631ludoimageTools/dmtcp/: imageTools/tmp/dmtcp.tar.gz
0f8553e2af5fc49a510ecfcfc93e66d06713f631ludo cd imageTools/tmp/ && tar xzf dmtcp.tar.gz && mv dmtcp-$(DMTCP_VERSION) ../dmtcp
4edb61f8b0f8ce9f62d803c706612376498672b4al_xipe
27f8adec83293fb8bd3bfa37175322b0ee3bb933jvergaraimageTools/tmp/dmtcp.tar.gz:
27f8adec83293fb8bd3bfa37175322b0ee3bb933jvergara wget http://downloads.sourceforge.net/project/dmtcp/dmtcp/$(DMTCP_VERSION)/dmtcp-$(DMTCP_VERSION).tar.gz -O imageTools/tmp/dmtcp.tar.gz
266c5071a91fda6a5159b08ea8d45261228d03d5neil_a_wilson