haftmann@20948: 
haftmann@20948: ## targets
haftmann@20948: 
haftmann@20948: default: Thy
haftmann@20948: images: 
haftmann@20948: test: Thy
haftmann@20948: 
haftmann@20948: all: images test
haftmann@20948: 
haftmann@20948: 
haftmann@20948: ## global settings
haftmann@20948: 
haftmann@20948: SRC = $(ISABELLE_HOME)/src
haftmann@20948: OUT = $(ISABELLE_OUTPUT)
haftmann@20948: LOG = $(OUT)/log
haftmann@20948: 
wenzelm@28500: USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
haftmann@20948: 
haftmann@20948: 
haftmann@20948: ## Thy
haftmann@20948: 
haftmann@20948: THY = $(LOG)/HOL-Thy.gz
haftmann@20948: 
haftmann@20948: Thy: $(THY)
haftmann@20948: 
haftmann@30226: $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
haftmann@20948: 	@$(USEDIR) HOL Thy
wenzelm@30458: 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
wenzelm@30458: 	 Thy/document/pdfsetup.sty Thy/document/session.tex
haftmann@20948: 
haftmann@20948: 
haftmann@20948: ## clean
haftmann@20948: 
haftmann@20948: clean:
haftmann@20948: 	@rm -f $(THY)