Makefile revision 46713e5f9ffe83b6f0bd0f0a4fb297bf25da3112
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesSHELL=/bin/bash
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesPLATFORM=`uname -m`
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesDMTCP_VERSION="1.2.5"
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesHETS_HOLLIGHT_TOOLS=$(PWD)/exportTools/
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas Jameshol_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
772741693b0c519b537616d57dd979e34b45bfceNicholas James HETS_OCAML_LIB_DIR=${HETS_OCAML_LIB_DIR} \
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesHETS_HOL_DIR=${HETS_HOL_DIR} \
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesHETS_HOLLIGHT_TOOLS=${HETS_HOLLIGHT_TOOLS} \
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/createImage.sh
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas Jamesclean:
772741693b0c519b537616d57dd979e34b45bfceNicholas James rm -rf *.dmtcp imageTools/dmtcp/ imageTools/hol_light/ imageTools/tmp/*
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/hol_light/pa_j.ml: imageTools/hol_light/
772741693b0c519b537616d57dd979e34b45bfceNicholas James make -C imageTools/hol_light/ && touch imageTools/hol_light/pa_j.ml
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/hol_light/: imageTools/tmp/hol_light.tar.gz
772741693b0c519b537616d57dd979e34b45bfceNicholas James cd imageTools/tmp/ && tar zfx hol_light.tar.gz && mv hol_light ../
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/tmp/hol_light.tar.gz:
772741693b0c519b537616d57dd979e34b45bfceNicholas James wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/dmtcp/bin/dmtcp_%: imageTools/dmtcp/bin/
772741693b0c519b537616d57dd979e34b45bfceNicholas James :
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/dmtcp/bin/: imageTools/dmtcp/
772741693b0c519b537616d57dd979e34b45bfceNicholas James cd imageTools/dmtcp && ./configure && make
772741693b0c519b537616d57dd979e34b45bfceNicholas James
772741693b0c519b537616d57dd979e34b45bfceNicholas JamesimageTools/dmtcp/: imageTools/tmp/dmtcp.tar.gz
772741693b0c519b537616d57dd979e34b45bfceNicholas James cd imageTools/tmp/ && tar xzf dmtcp.tar.gz && mv dmtcp-$(DMTCP_VERSION) ../dmtcp
Error!

 

There was an error!

null

java.lang.NullPointerException