diff -r cbb4ac6c8081 -r 1ce04eb1c8ad utm/IsaMakefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/utm/IsaMakefile Sat Sep 29 12:38:12 2012 +0000 @@ -0,0 +1,31 @@ + +## targets + +default: utm +images: utm +test: + +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 + + +## utm + +utm: $(OUT)/utm + +$(OUT)/utm: ## ROOT.ML document/root.tex *.thy + @$(USEDIR) -b HOL utm + + +## clean + +clean: + @rm -f $(OUT)/utm