IsaMakefile
author Christian Urban <urbanc@in.tum.de>
Tue, 17 Feb 2009 02:12:19 +0000
changeset 122 79696161ae16
parent 106 bdd82350cf22
child 153 c22b507e1407
permissions -rw-r--r--
polished


## targets

default: tutorial
images: 
test: 

all: tutorial

## global settings

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

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

rail:
	rail CookBook/generated/root
	cp CookBook/generated/root.rao CookBook/document

## CookBook

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

## clean

clean:
	@rm -f CookBook/generated/*