## targets default: Isar ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) usedir -i false -g false -d false -D document -v true ## Isar Isar: $(LOG)/HOL-Isar.gz $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \ Isar/document/root.tex Isar/document/root.bib Isar/*.thy @$(USEDIR) HOL Isar ## clean clean: @rm -f $(LOG)/HOL-Isar.gz