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: 
kleing@15478: USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false
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@15478:   ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
kleing@15478:   ../../Distribution/lib/texinputs/sugar.sty
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