## targets
default: Quot
images:
test: Quot
all: images test
## global settings
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated
## Quot
Quot: $(LOG)/HOL-Quot.gz
$(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy
@$(USEDIR) HOL Quot
## clean
clean:
@rm -f $(LOG)/HOL-Quot.gz