haftmann@20946: 
haftmann@20946: ## targets
haftmann@20946: 
haftmann@20946: default: Thy
haftmann@20946: images: 
haftmann@20946: test: Thy
haftmann@20946: 
haftmann@20946: all: images test
haftmann@20946: 
haftmann@20946: 
haftmann@20946: ## global settings
haftmann@20946: 
haftmann@20946: SRC = $(ISABELLE_HOME)/src
haftmann@20946: OUT = $(ISABELLE_OUTPUT)
haftmann@20946: LOG = $(OUT)/log
haftmann@20946: 
wenzelm@28500: USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
haftmann@20946: 
haftmann@20946: 
haftmann@20946: ## Thy
haftmann@20946: 
haftmann@20946: THY = $(LOG)/HOL-Thy.gz
haftmann@20946: 
haftmann@20946: Thy: $(THY)
haftmann@20946: 
haftmann@30209: $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
haftmann@20946: 	@$(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@20946: 
haftmann@20946: 
haftmann@20946: ## clean
haftmann@20946: 
haftmann@20946: clean:
haftmann@20946: 	@rm -f $(THY)