doc-src/ProgProve/IsaMakefile
author wenzelm
Tue, 22 May 2012 19:02:17 +0200
changeset 47885 b987aa8b9310
parent 47319 8aa23a259ab2
permissions -rw-r--r--
Added tag Isabelle2012 for changeset 21c42b095c84

## 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