Makefile revision 4840e920f9caeeacae35fc902b0fe720ee0e8dcb
e40c19038803d4a3d8914f5310a0ae8f4e683c3cEwaryst SchulzSHELL=/bin/bash
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzPLATFORM=`uname -m`
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerDMTCP_VERSION="1.2.3"
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzHETS_OCAML_LIB_DIR="/usr/lib/ocaml/compiler-libs/"
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzHETS_HOL_DIR="`pwd`/imageTools/hol_light/"
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzHETS_HOLLIGHT_TOOLS="`pwd`/exportTools/"
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulzhol_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
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulz HETS_OCAML_LIB_DIR=${HETS_OCAML_LIB_DIR} \
71dd29e7cfb990182dffa41faace353159c7ab44Ewaryst SchulzHETS_HOL_DIR=${HETS_HOL_DIR} \
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzHETS_HOLLIGHT_TOOLS=${HETS_HOLLIGHT_TOOLS} \
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzimageTools/createImage.sh
213ff2bc64713dccda8de3db300ba188bd585866Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulzclean:
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulz rm -rf *.dmtcp imageTools/dmtcp/ imageTools/hol_light/ imageTools/tmp/*
8c22ca329de452600ec3e6384394890c1b695079Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzimageTools/hol_light/pa_j.ml: imageTools/hol_light/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder make -C imageTools/hol_light/ && touch imageTools/hol_light/pa_j.ml
01c4a854ca10779b54d7ab57ee98e476077f1f15Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzimageTools/hol_light/: imageTools/tmp/hol_light.tar.gz
01c4a854ca10779b54d7ab57ee98e476077f1f15Ewaryst Schulz cd imageTools/tmp/ && tar zfx hol_light.tar.gz && mv hol_light ../
7af4df794a0e0f0cb927bd9371556ad098308983Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzimageTools/tmp/hol_light.tar.gz:
ee3bb87ab2da52ee1ad0c6675ea8b699b0af9ddcEwaryst Schulz wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
f6a120017bc91a7644e258bc4fdc21f5f16b2601Ewaryst Schulz
8c22ca329de452600ec3e6384394890c1b695079Ewaryst SchulzimageTools/dmtcp/bin/dmtcp_%: imageTools/dmtcp/bin/
d3ea4ab5527bc4bd7381d39ecbc4af2199f54341Ewaryst Schulz :
213ff2bc64713dccda8de3db300ba188bd585866Ewaryst Schulz
d3ea4ab5527bc4bd7381d39ecbc4af2199f54341Ewaryst SchulzimageTools/dmtcp/bin/: imageTools/dmtcp/
01c4a854ca10779b54d7ab57ee98e476077f1f15Ewaryst Schulz cd imageTools/dmtcp && ./configure && make
d3ea4ab5527bc4bd7381d39ecbc4af2199f54341Ewaryst Schulz
f474203c4cef7d85cb078f15ce5c2cea71e9a030Ewaryst SchulzimageTools/dmtcp/: imageTools/tmp/dmtcp.tar.gz
f474203c4cef7d85cb078f15ce5c2cea71e9a030Ewaryst Schulz cd imageTools/tmp/ && tar xzf dmtcp.tar.gz && mv dmtcp-$(DMTCP_VERSION) ../dmtcp
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederimageTools/tmp/dmtcp.tar.gz:
01c4a854ca10779b54d7ab57ee98e476077f1f15Ewaryst Schulz wget http://downloads.sourceforge.net/project/dmtcp/dmtcp/$(DMTCP_VERSION)/dmtcp-$(DMTCP_VERSION).tar.gz -O imageTools/tmp/dmtcp.tar.gz
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder