wenzelm@26738: 
wenzelm@26738: ## targets
wenzelm@26738: 
wenzelm@26738: default: Thy
wenzelm@26738: images: 
wenzelm@26738: test: Thy
wenzelm@26738: 
wenzelm@26738: all: images test
wenzelm@26738: 
wenzelm@26738: 
wenzelm@26738: ## global settings
wenzelm@26738: 
wenzelm@26738: SRC = $(ISABELLE_HOME)/src
wenzelm@26738: OUT = $(ISABELLE_OUTPUT)
wenzelm@26738: LOG = $(OUT)/log
wenzelm@26738: 
wenzelm@26738: USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document
wenzelm@26738: 
wenzelm@26738: 
wenzelm@26738: ## Thy
wenzelm@26738: 
wenzelm@26738: Thy: $(LOG)/Pure-Thy.gz
wenzelm@26738: 
wenzelm@26741: $(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy
wenzelm@26738: 	@$(USEDIR) Pure Thy
wenzelm@26738: 
wenzelm@26738: 
wenzelm@26738: ## clean
wenzelm@26738: 
wenzelm@26738: clean:
wenzelm@26738: 	@rm -f $(LOG)/Pure-Thy.gz