Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isatool usedir;
authorwenzelm
Thu, 20 Mar 1997 18:27:23 +0100
changeset 2831 a4f09228b74f
parent 2830 f56e0cac7de9
child 2832 dd5022d8a551
isatool usedir;
src/Sequents/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Sequents/IsaMakefile	Thu Mar 20 18:27:05 1997 +0100
+++ b/src/Sequents/IsaMakefile	Thu Mar 20 18:27:23 1997 +0100
@@ -17,14 +17,13 @@
     $(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML)
 
 $(OUT)/Sequents: $(OUT)/Pure $(FILES)
-	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Sequents
+	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
 	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
 
 test: $(OUT)/Sequents $(EX_FILES)
-	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); exit_use"ex/ROOT.ML"; quit();' \
-	  -rq $(OUT)/Sequents
+	@$(ISATOOL) usedir $(OUT)/Sequents ex
 
 .PRECIOUS: $(OUT)/Pure $(OUT)/Sequents
isabelle