isatool usedir;
authorwenzelm
Thu Mar 20 11:24:05 1997 +0100 (1997-03-20 ago)
changeset 28231262592be579
parent 2822 50bac845de6f
child 2824 ec170ea5243e
isatool usedir;
src/CTT/IsaMakefile
src/FOLP/IsaMakefile
     1.1 --- a/src/CTT/IsaMakefile	Thu Mar 20 11:23:19 1997 +0100
     1.2 +++ b/src/CTT/IsaMakefile	Thu Mar 20 11:24:05 1997 +0100
     1.3 @@ -12,14 +12,13 @@
     1.4  EX_FILES = ex/ROOT.ML ex/elim.ML ex/equal.ML ex/synth.ML ex/typechk.ML
     1.5  
     1.6  $(OUT)/CTT: $(OUT)/Pure $(FILES)
     1.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure CTT
     1.8 +	@$(ISATOOL) usedir -b $(OUT)/Pure CTT
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/Pure:
    1.12  	@cd ../Pure; $(ISATOOL) make
    1.13  
    1.14  test: ex/ROOT.ML $(OUT)/CTT $(EX_FILES)
    1.15 -	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); exit_use"ex/ROOT.ML"; quit();' \
    1.16 -	  -rq $(OUT)/CTT
    1.17 +	@$(ISATOOL) usedir $(OUT)/CTT ex
    1.18  
    1.19  .PRECIOUS: $(OUT)/Pure $(OUT)/CTT
     2.1 --- a/src/FOLP/IsaMakefile	Thu Mar 20 11:23:19 1997 +0100
     2.2 +++ b/src/FOLP/IsaMakefile	Thu Mar 20 11:24:05 1997 +0100
     2.3 @@ -14,13 +14,13 @@
     2.4  	   ex/prop.ML ex/quant.ML
     2.5  
     2.6  $(OUT)/FOLP: $(OUT)/Pure $(FILES)
     2.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOLP
     2.8 +	@$(ISATOOL) usedir -b $(OUT)/Pure FOLP
     2.9  	@chmod -w $@
    2.10  
    2.11  $(OUT)/Pure:
    2.12  	@cd ../Pure; $(ISATOOL) make
    2.13  
    2.14  test: ex/ROOT.ML $(OUT)/FOLP $(EX_FILES)
    2.15 -	@$(ISATOOL) testdir $(OUT)/FOLP ex
    2.16 +	@$(ISATOOL) usedir $(OUT)/FOLP ex
    2.17  
    2.18  .PRECIOUS: $(OUT)/Pure $(OUT)/FOLP