Mercurial Mercurial > hg > isabelle-cookbook / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IsaMakefile
author Christian Urban <urbanc@in.tum.de>
Wed, 02 Jun 2010 07:05:29 +0200
changeset 434 9aa8ef31c70a
parent 373 28a49fe024c9
permissions -rw-r--r--
merged


## targets

default: tutorial

all: tutorial

## global settings

SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log

USEDIR = $(ISABELLE_TOOL) usedir -v true -D generated

tutorial: ProgTutorial/ROOT.ML \
          ProgTutorial/document/root.tex \
          ProgTutorial/document/root.bib \
          ProgTutorial/*.thy \
          ProgTutorial/*.ML \
          ProgTutorial/Recipes/*.thy \
          ProgTutorial/Package/*.thy \
          ProgTutorial/Package/*.ML
	@rm -rf ProgTutorial/generated/* 
	$(USEDIR) HOL ProgTutorial
	hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip
	$(ISABELLE_TOOL) version > ProgTutorial/generated/version 
	$(ML_HOME)/poly -v > ProgTutorial/generated/pversion
	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
	makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str
	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
##	$(ISABELLE_TOOL) document -o pdf  ProgTutorial/generated
	@cp ProgTutorial/document.pdf progtutorial.pdf

## clean

clean:
	@rm -f ProgTutorial/generated/*
isabelle-cookbook