[4b23aa]: thys / PseudoHoops / IsaMakefile Maximize Restore History

Download this file

IsaMakefile    45 lines (26 with data), 808 Bytes

## configurables

SESSION-NAME = PseudoHoops
BASE-IMAGE = LatticeProperties

## targets

default: $(SESSION-NAME)
test: $(SESSION-NAME)
# usually empty:
images:  

all: images test


## global settings

SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log

IMAGE=$(OUT)/$(BASE-IMAGE)

USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -V outline=/proof,/ML -d pdf

# time limit (in sec)
MAXTIME = 3600


## dependencies

$(SESSION-NAME): $(BASE-IMAGE) $(LOG)/$(BASE-IMAGE)-$(SESSION-NAME).gz

$(BASE-IMAGE):
	cd ../$(BASE-IMAGE); $(ISABELLE_TOOL) make $(BASE-IMAGE)

$(LOG)/$(BASE-IMAGE)-$(SESSION-NAME).gz: $(IMAGE) ROOT.ML *.thy document/*.tex document/*.bib
	cd ..; ulimit -t $(MAXTIME); $(USEDIR) $(IMAGE) $(SESSION-NAME)


## clean

clean:
	@rm -f $(LOG)/$(BASE-IMAGE)-$(SESSION-NAME).gz