nipkow@15337: 
nipkow@15337: ## targets
nipkow@15337: 
nipkow@15337: default: Sugar
nipkow@15337: images: 
nipkow@15337: test: Sugar
nipkow@15337: 
nipkow@15337: all: images test
nipkow@15337: 
nipkow@15337: 
nipkow@15337: ## global settings
nipkow@15337: 
nipkow@15337: SRC = $(ISABELLE_HOME)/src
nipkow@15337: OUT = $(ISABELLE_OUTPUT)
nipkow@15337: LOG = $(OUT)/log
nipkow@15337: 
wenzelm@28500: USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -g false -d false -D document
nipkow@15337: 
nipkow@15337: 
nipkow@15337: ## Sugar
nipkow@15337: 
nipkow@15337: Sugar: $(LOG)/HOL-Sugar.gz
nipkow@15337: 
nipkow@15471: $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
nipkow@15471:   Sugar/document/root.tex Sugar/document/root.bib \
kleing@15898:   $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
nipkow@15337: 	@$(USEDIR) HOL Sugar
nipkow@15337: 
nipkow@15337: 
nipkow@15337: ## clean
nipkow@15337: 
nipkow@15337: clean:
nipkow@15337: 	@rm -f $(LOG)/HOL-Sugar.gz