## targets
default: tests
images:
all: tests
## global settings
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated
## Nominal2
tests: $(LOG)/HOL-Nominal2.gz
$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2
## clean
clean:
@rm -f $(LOG)/HOL-Nominal2.gz $(LOG)/HOL-Pearl.gz