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, 01 Oct 2008 20:42:55 -0400
changeset 14 1c17e99f6f66
parent 2 978a3c2ed7ce
child 17 8afa1c990a14
permissions -rw-r--r--
added a paragraph about "uses" and started a paragraph about tracing


## targets

default: cookbook
images: 
test: 

all: cookbook

## global settings

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

USEDIR = $(ISATOOL) usedir -v true -i true -D generated


## CookBook

cookbook: CookBook/ROOT.ML \
          CookBook/document/root.tex \
          CookBook/document/cookbook.bib \
          CookBook/*.thy
	$(USEDIR) HOL CookBook
	$(ISATOOL) document -o pdf CookBook/generated
	@cp CookBook/document.pdf cookbook.pdf

## clean

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