## targets

default: tutorial

all: tutorial

## global settings

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

USEDIR = $(ISABELLE_TOOL) usedir -v true -D generated

tutorial: ProgTutorial/ROOT.ML \
          ProgTutorial/document/root.tex \
          ProgTutorial/document/root.bib \
          ProgTutorial/*.thy \
          ProgTutorial/*.ML \
          ProgTutorial/Recipes/*.thy \
          ProgTutorial/Package/*.thy \
          ProgTutorial/Package/*.ML
	@rm -rf ProgTutorial/generated/* 
	$(USEDIR) HOL ProgTutorial
	hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip
	$(ISABELLE_TOOL) version > ProgTutorial/generated/version 
	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
	makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str
	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
##	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
	@cp ProgTutorial/document.pdf progtutorial.pdf

## clean

clean:
	@rm -f ProgTutorial/generated/*