doc-src/LaTeXsugar/IsaMakefile
author wenzelm
Thu, 31 May 2007 14:34:07 +0200
changeset 23156 6ec9e29143e9
parent 17098 dd769bd4d056
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
removed obsolete IFOL.thy/FOL.thy values;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15337
nipkow
parents:
diff changeset
     1
nipkow
parents:
diff changeset
     2
## targets
nipkow
parents:
diff changeset
     3
nipkow
parents:
diff changeset
     4
default: Sugar
nipkow
parents:
diff changeset
     5
images: 
nipkow
parents:
diff changeset
     6
test: Sugar
nipkow
parents:
diff changeset
     7
nipkow
parents:
diff changeset
     8
all: images test
nipkow
parents:
diff changeset
     9
nipkow
parents:
diff changeset
    10
nipkow
parents:
diff changeset
    11
## global settings
nipkow
parents:
diff changeset
    12
nipkow
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
nipkow
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
nipkow
parents:
diff changeset
    15
LOG = $(OUT)/log
nipkow
parents:
diff changeset
    16
17098
dd769bd4d056 usedir: removed option -H;
wenzelm
parents: 15898
diff changeset
    17
USEDIR = $(ISATOOL) usedir -v true -i false -g false -d false -D document
15337
nipkow
parents:
diff changeset
    18
nipkow
parents:
diff changeset
    19
nipkow
parents:
diff changeset
    20
## Sugar
nipkow
parents:
diff changeset
    21
nipkow
parents:
diff changeset
    22
Sugar: $(LOG)/HOL-Sugar.gz
nipkow
parents:
diff changeset
    23
15471
e7f069887ec2 *** empty log message ***
nipkow
parents: 15467
diff changeset
    24
$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
e7f069887ec2 *** empty log message ***
nipkow
parents: 15467
diff changeset
    25
  Sugar/document/root.tex Sugar/document/root.bib \
15898
435f0e743854 use absolute path to find LaTeXSugar and OptionalSugar
kleing
parents: 15894
diff changeset
    26
  $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy 
15337
nipkow
parents:
diff changeset
    27
	@$(USEDIR) HOL Sugar
nipkow
parents:
diff changeset
    28
nipkow
parents:
diff changeset
    29
nipkow
parents:
diff changeset
    30
## clean
nipkow
parents:
diff changeset
    31
nipkow
parents:
diff changeset
    32
clean:
nipkow
parents:
diff changeset
    33
	@rm -f $(LOG)/HOL-Sugar.gz