diff -r 9df6144e281b -r 853abc14c5c6 IsaMakefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/IsaMakefile Thu Feb 25 08:40:52 2010 +0100 @@ -0,0 +1,36 @@ + +## targets + +default: Nominal2 +images: + +all: Nominal2 + + +## global settings + +SRC = $(ISABELLE_HOME)/src +OUT = $(ISABELLE_OUTPUT) +LOG = $(OUT)/log + +USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated + + +## Nominal2 + +Nominal2: $(LOG)/HOL-Nominal2.gz + +$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy + @$(USEDIR) HOL Nominal + +paper: $(LOG)/HOL-Nominal2-Paper.gz + +$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy + @$(USEDIR) -D generated HOL Paper + $(ISATOOL) document -o pdf Paper/generated + @cp Paper/document.pdf paper.pdf + +## clean + +clean: + @rm -f $(LOG)/HOL-Nominal2.gz