6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederSHELL=/bin/bash
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederPLATFORM=`uname -m`
46713e5f9ffe83b6f0bd0f0a4fb297bf25da3112Christian MaederDMTCP_VERSION="1.2.5"
08c52c0cec0842d53e51cfbedae2c0e0d6c4e641Christian MaederHETS_HOLLIGHT_TOOLS=$(PWD)/exportTools/
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
4840e920f9caeeacae35fc902b0fe720ee0e8dcbJonathan von Schroederhol_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
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder HETS_OCAML_LIB_DIR=${HETS_OCAML_LIB_DIR} \
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederHETS_HOL_DIR=${HETS_HOL_DIR} \
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederHETS_HOLLIGHT_TOOLS=${HETS_HOLLIGHT_TOOLS} \
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/createImage.sh
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroederclean:
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder rm -rf *.dmtcp imageTools/dmtcp/ imageTools/hol_light/ imageTools/tmp/*
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/hol_light/pa_j.ml: imageTools/hol_light/
1ac35b084d7e57853f66169d2ca5532977fc403aJens Elkner $(MAKE) -C imageTools/hol_light/ && touch imageTools/hol_light/pa_j.ml
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/hol_light/: imageTools/tmp/hol_light.tar.gz
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder cd imageTools/tmp/ && tar zfx hol_light.tar.gz && mv hol_light ../
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/tmp/hol_light.tar.gz:
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/dmtcp/bin/dmtcp_%: imageTools/dmtcp/bin/
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder :
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/dmtcp/bin/: imageTools/dmtcp/
1ac35b084d7e57853f66169d2ca5532977fc403aJens Elkner cd imageTools/dmtcp && ./configure && $(MAKE)
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/dmtcp/: imageTools/tmp/dmtcp.tar.gz
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder cd imageTools/tmp/ && tar xzf dmtcp.tar.gz && mv dmtcp-$(DMTCP_VERSION) ../dmtcp
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/tmp/dmtcp.tar.gz:
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder wget http://downloads.sourceforge.net/project/dmtcp/dmtcp/$(DMTCP_VERSION)/dmtcp-$(DMTCP_VERSION).tar.gz -O imageTools/tmp/dmtcp.tar.gz