krauss@21212: 
krauss@21212: ## targets
krauss@21212: 
krauss@21212: default: Thy
krauss@21212: images: 
krauss@21212: test: Thy
krauss@21212: 
krauss@21212: all: images test
krauss@21212: 
krauss@21212: 
krauss@21212: ## global settings
krauss@21212: 
krauss@21212: SRC = $(ISABELLE_HOME)/src
krauss@21212: OUT = $(ISABELLE_OUTPUT)
krauss@21212: LOG = $(OUT)/log
krauss@21212: 
wenzelm@28500: USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
krauss@21212: 
krauss@21212: 
krauss@21212: ## Thy
krauss@21212: 
krauss@21212: THY = $(LOG)/HOL-Thy.gz
krauss@21212: 
krauss@21212: Thy: $(THY)
krauss@21212: 
krauss@21212: $(THY): Thy/ROOT.ML Thy/Functions.thy
krauss@21212: 	@$(USEDIR) HOL Thy
krauss@21212: 
krauss@21212: 
krauss@21212: ## clean
krauss@21212: 
krauss@21212: clean:
krauss@21212: 	@rm -f $(THY)