paulson@14152: #
paulson@14152: # IsaMakefile to build the examples for the FOL and ZF manual
paulson@14152: #
paulson@14152: 
paulson@14152: ## targets
paulson@14152: 
paulson@14152: default: ZF-examples styles
paulson@14152: images:
paulson@14152: test:
paulson@14152: all: default
paulson@14152: 
paulson@14152: 
paulson@14152: ## global settings
paulson@14152: 
paulson@14152: SRC = $(ISABELLE_HOME)/src
paulson@14152: OUT = $(ISABELLE_OUTPUT)
paulson@14152: LOG = $(OUT)/log
paulson@14152: OPTIONS = -m brackets -i true -d "" -D document
wenzelm@28500: USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS) $(OUT)/ZF
paulson@14152: 
paulson@14152: 
paulson@14152: ## ZF
paulson@14152: 
paulson@14152: ZF:
wenzelm@28500: 	@cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF
paulson@14152: 
paulson@14152: styles:
paulson@14152: 	@rm -f isabelle.sty
paulson@14152: 	@rm -f isabellesym.sty
paulson@14152: 	@rm -f pdfsetup.sty
wenzelm@28500: 	@$(ISABELLE_TOOL) latex -o sty >/dev/null
paulson@14152: 	@rm -f pdfsetup.sty
paulson@14152: 	@rm -f document/isabelle.sty
paulson@14152: 	@rm -f document/isabellesym.sty
paulson@14152: 	@rm -f document/pdfsetup.sty
paulson@14152: 	@rm -f document/session.tex
paulson@14152: 
paulson@14152: 
paulson@14152: ## ZF-examples
paulson@14152: 
paulson@14152: ZF-examples: ZF $(LOG)/ZF-examples.gz
paulson@14152: 
paulson@14152: $(LOG)/ZF-examples.gz: $(OUT)/ZF \
paulson@14152: 	FOL_examples.thy  IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML 
paulson@14152: 	@$(USEDIR) .
paulson@14152: 
paulson@14152: ## clean
paulson@14152: 
paulson@14152: clean:
paulson@14152: 	@rm -f $(LOG)/ZF-examples.gz document/*.tex