src/CCL/IsaMakefile
changeset 2821 b1dcacc4bc26
parent 2489 7834b2677551
child 3057 a5a42ff18a40
     1.1 --- a/src/CCL/IsaMakefile	Thu Mar 20 11:09:01 1997 +0100
     1.2 +++ b/src/CCL/IsaMakefile	Thu Mar 20 11:11:53 1997 +0100
     1.3 @@ -18,13 +18,13 @@
     1.4  
     1.5  
     1.6  $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
     1.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL CCL
     1.8 +	@$(ISATOOL) usedir -b -c $(OUT)/FOL CCL
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/FOL:
    1.12  	@cd ../FOL; $(ISATOOL) make
    1.13  
    1.14  test: ex/ROOT.ML $(OUT)/CCL $(EX_FILES)
    1.15 -	@$(ISATOOL) testdir $(OUT)/CCL ex
    1.16 +	@$(ISATOOL) usedir $(OUT)/CCL ex
    1.17  
    1.18  .PRECIOUS: $(OUT)/FOL $(OUT)/CCL