## targets
default: HOL-ProgProve
images:
test: HOL-ProgProve
all: images test
## global settings
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
## sessions
HOL-ProgProve: $(LOG)/HOL-ProgProve.gz
$(LOG)/HOL-ProgProve.gz: \
Thys/Basics.thy \
Thys/Bool_nat_list.thy \
Thys/Isar.thy \
Thys/LaTeXsugar.thy \
Thys/Logic.thy \
Thys/MyList.thy \
Thys/Types_and_funs.thy \
Thys/ROOT.ML
@$(USEDIR) -s ProgProve HOL Thys
@rm -f Thys/document/MyList.tex
@rm -f Thys/document/isabelle.sty
@rm -f Thys/document/isabellesym.sty
@rm -f Thys/document/pdfsetup.sty
@rm -f Thys/document/railsetup.sty
@rm -f Thys/document/session.tex
## clean
clean:
@rm -f $(LOG)/HOL-ProgProve.gz