Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].
## targets
default: ListP
images: ListP
test:
all: images test
## global settings
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated
## ListP
ListP: $(OUT)/ListP
$(OUT)/ListP: ROOT.ML document/root.tex *.thy
@$(USEDIR) -b HOL ListP
## clean
clean:
@rm -f $(OUT)/ListP