removed -c option;
authorwenzelm
Fri Apr 25 15:24:07 1997 +0200 (1997-04-25)
changeset 3057a5a42ff18a40
parent 3056 200565f7592a
child 3058 9d6526cacc3c
removed -c option;
src/CCL/IsaMakefile
src/HOLCF/IsaMakefile
src/LCF/IsaMakefile
src/ZF/IsaMakefile
     1.1 --- a/src/CCL/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
     1.2 +++ b/src/CCL/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  
     1.5  
     1.6  $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
     1.7 -	@$(ISATOOL) usedir -b -c $(OUT)/FOL CCL
     1.8 +	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/FOL:
     2.1 --- a/src/HOLCF/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
     2.2 +++ b/src/HOLCF/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
     2.3 @@ -28,7 +28,7 @@
     2.4          domain/theorems.ML domain/extender.ML domain/interface.ML
     2.5  
     2.6  $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
     2.7 -	@$(ISATOOL) usedir -b -c $(OUT)/HOL HOLCF
     2.8 +	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
     2.9  	@chmod -w $@
    2.10  
    2.11  $(OUT)/HOL:
     3.1 --- a/src/LCF/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
     3.2 +++ b/src/LCF/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
     3.3 @@ -8,7 +8,7 @@
     3.4  FILES =	ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML
     3.5  
     3.6  $(OUT)/LCF: $(OUT)/FOL $(FILES)
     3.7 -	@$(ISATOOL) usedir -b -c $(OUT)/FOL LCF
     3.8 +	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
     3.9  	@chmod -w $@
    3.10  
    3.11  $(OUT)/FOL:
     4.1 --- a/src/ZF/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
     4.2 +++ b/src/ZF/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
     4.3 @@ -21,7 +21,7 @@
     4.4  	$(NAMES:%=%.thy) $(NAMES:%=%.ML)
     4.5  
     4.6  $(OUT)/ZF: $(OUT)/FOL $(FILES)
     4.7 -	@$(ISATOOL) usedir -b -c $(OUT)/FOL ZF
     4.8 +	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
     4.9  	@chmod -w $@
    4.10  
    4.11  $(OUT)/FOL: