Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/ProgProve/IsaMakefile
author wenzelm
Sun, 15 Apr 2012 13:15:14 +0200
changeset 47482 a83b25e5bad3
parent 47319 8aa23a259ab2
permissions -rw-r--r--
some coverage of unnamed contexts, which can be nested within other targets;

## targets

default: HOL-ProgProve
images:
test: HOL-ProgProve

all: images test


## global settings

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

USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document


## sessions

HOL-ProgProve: $(LOG)/HOL-ProgProve.gz

$(LOG)/HOL-ProgProve.gz: \
  Thys/Basics.thy \
  Thys/Bool_nat_list.thy \
  Thys/Isar.thy \
  Thys/LaTeXsugar.thy \
  Thys/Logic.thy \
  Thys/MyList.thy \
  Thys/Types_and_funs.thy \
  Thys/ROOT.ML
	@$(USEDIR) -s ProgProve HOL Thys
	@rm -f Thys/document/MyList.tex
	@rm -f Thys/document/isabelle.sty
	@rm -f Thys/document/isabellesym.sty
	@rm -f Thys/document/pdfsetup.sty
	@rm -f Thys/document/railsetup.sty
	@rm -f Thys/document/session.tex


## clean

clean:
	@rm -f $(LOG)/HOL-ProgProve.gz
isabelle