IsaMakefile
author Christian Urban <urbanc@in.tum.de>
Thu, 19 Mar 2009 13:28:16 +0100
changeset 189 069d525f8f1d
parent 153 c22b507e1407
child 228 fe45fbb111c5
permissions -rw-r--r--
made more of the transition from "CookBook" to "ProgTutorial"
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
## targets
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
106
bdd82350cf22 renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
     4
default: tutorial
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
images: 
2
978a3c2ed7ce split the document into smaller pieces;
Christian Urban <urbanc@in.tum.de>
parents: 0
diff changeset
     6
test: 
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
106
bdd82350cf22 renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
Christian Urban <urbanc@in.tum.de>
parents: 60
diff changeset
     8
all: tutorial
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
## global settings
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
SRC = $(ISABELLE_HOME)/src
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
OUT = $(ISABELLE_OUTPUT)
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
LOG = $(OUT)/log
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
60
5b9c6010897b doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
Christian Urban <urbanc@in.tum.de>
parents: 44
diff changeset
    16
USEDIR = $(ISATOOL) usedir -v true -D generated
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
44
dee4b3e66dfe added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
Christian Urban <urbanc@in.tum.de>
parents: 28
diff changeset
    18
rail:
189
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    19
	rail ProgTutorial/generated/root
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    20
	cp ProgTutorial/generated/root.rao ProgTutorial/document
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
189
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    22
tutorial: ProgTutorial/ROOT.ML \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    23
          ProgTutorial/document/root.tex \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    24
          ProgTutorial/document/root.bib \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    25
          ProgTutorial/*.thy \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    26
          ProgTutorial/*.ML \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    27
          ProgTutorial/Recipes/*.thy \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    28
          ProgTutorial/Package/*.thy \
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    29
          ProgTutorial/Package/*.ML 
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    30
	$(USEDIR) HOL ProgTutorial
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    31
	$(ISATOOL) version > ProgTutorial/generated/version 
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    32
	$(ISATOOL) document -o pdf  ProgTutorial/generated
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    33
	@cp ProgTutorial/document.pdf progtutorial.pdf
0
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
## clean
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
02503850a8cf initial commit of Alexander's files
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
clean:
189
069d525f8f1d made more of the transition from "CookBook" to "ProgTutorial"
Christian Urban <urbanc@in.tum.de>
parents: 153
diff changeset
    38
	@rm -f ProgTutorial/generated/*