wenzelm@18537: 
wenzelm@18537: ## targets
wenzelm@18537: 
wenzelm@18537: default: Thy
wenzelm@18537: images: 
wenzelm@18537: test: Thy
wenzelm@18537: 
wenzelm@18537: all: images test
wenzelm@18537: 
wenzelm@18537: 
wenzelm@18537: ## global settings
wenzelm@18537: 
wenzelm@18537: SRC = $(ISABELLE_HOME)/src
wenzelm@18537: OUT = $(ISABELLE_OUTPUT)
wenzelm@18537: LOG = $(OUT)/log
wenzelm@18537: 
wenzelm@28500: USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
wenzelm@18537: 
wenzelm@18537: 
wenzelm@30456: ## sessions
wenzelm@18537: 
wenzelm@18537: Thy: $(LOG)/Pure-Thy.gz
wenzelm@18537: 
wenzelm@30081: $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy	\
wenzelm@30081:   Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy	\
wenzelm@30124:   Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\
wenzelm@30124:   ../antiquote_setup.ML
wenzelm@18537: 	@$(USEDIR) Pure Thy
wenzelm@30458: 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
wenzelm@30458: 	 Thy/document/pdfsetup.sty Thy/document/session.tex
wenzelm@18537: 
wenzelm@18537: 
wenzelm@18537: ## clean
wenzelm@18537: 
wenzelm@18537: clean:
wenzelm@18537: 	@rm -f $(LOG)/Pure-Thy.gz