doc-src/LaTeXsugar/IsaMakefile
author haftmann
Tue Oct 10 13:59:12 2006 +0200 (2006-10-10)
changeset 20950 981fa0ce23ed
parent 17098 dd769bd4d056
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
added IsarAdvanced material
nipkow@15337
     1
nipkow@15337
     2
## targets
nipkow@15337
     3
nipkow@15337
     4
default: Sugar
nipkow@15337
     5
images: 
nipkow@15337
     6
test: Sugar
nipkow@15337
     7
nipkow@15337
     8
all: images test
nipkow@15337
     9
nipkow@15337
    10
nipkow@15337
    11
## global settings
nipkow@15337
    12
nipkow@15337
    13
SRC = $(ISABELLE_HOME)/src
nipkow@15337
    14
OUT = $(ISABELLE_OUTPUT)
nipkow@15337
    15
LOG = $(OUT)/log
nipkow@15337
    16
wenzelm@17098
    17
USEDIR = $(ISATOOL) usedir -v true -i false -g false -d false -D document
nipkow@15337
    18
nipkow@15337
    19
nipkow@15337
    20
## Sugar
nipkow@15337
    21
nipkow@15337
    22
Sugar: $(LOG)/HOL-Sugar.gz
nipkow@15337
    23
nipkow@15471
    24
$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
nipkow@15471
    25
  Sugar/document/root.tex Sugar/document/root.bib \
kleing@15898
    26
  $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
nipkow@15337
    27
	@$(USEDIR) HOL Sugar
nipkow@15337
    28
nipkow@15337
    29
nipkow@15337
    30
## clean
nipkow@15337
    31
nipkow@15337
    32
clean:
nipkow@15337
    33
	@rm -f $(LOG)/HOL-Sugar.gz