##
## Run "isatool make Deliverable" to make HOL-Deliverable image
##


## targets

default: Deliverable
images: 
test: Deliverable

all: images test


## global settings

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

# -i true for browser info 
USEDIR = $(ISATOOL) usedir -v true -D generated -d pdf


## Deliverable

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

Deliverable.deps:   ## Deliverable/ROOT.ML Deliverable/document/root.tex Deliverable/*.thy

$(LOG)/HOL-Deliverable.gz: Deliverable.deps
	@$(USEDIR) HOL Deliverable


## clean

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