eliminated chmod -w;
authorwenzelm
Mon Jul 07 09:09:21 1997 +0200 (1997-07-07 ago)
changeset 35051cb4ea47d967
parent 3504 8493dbe2f009
child 3506 a36e0a49d2cd
eliminated chmod -w;
src/CCL/IsaMakefile
src/CTT/IsaMakefile
src/Cube/IsaMakefile
src/FOL/IsaMakefile
src/FOLP/IsaMakefile
src/HOL/IsaMakefile
src/HOLCF/IsaMakefile
src/LCF/IsaMakefile
src/Pure/mk
src/Sequents/IsaMakefile
src/ZF/IsaMakefile
     1.1 --- a/src/CCL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     1.2 +++ b/src/CCL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     1.3 @@ -19,7 +19,6 @@
     1.4  
     1.5  $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
     1.6  	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
     1.7 -	@chmod -w $@
     1.8  
     1.9  $(OUT)/FOL:
    1.10  	@cd ../FOL; $(ISATOOL) make
     2.1 --- a/src/CTT/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     2.2 +++ b/src/CTT/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     2.3 @@ -13,7 +13,6 @@
     2.4  
     2.5  $(OUT)/CTT: $(OUT)/Pure $(FILES)
     2.6  	@$(ISATOOL) usedir -b $(OUT)/Pure CTT
     2.7 -	@chmod -w $@
     2.8  
     2.9  $(OUT)/Pure:
    2.10  	@cd ../Pure; $(ISATOOL) make
     3.1 --- a/src/Cube/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     3.2 +++ b/src/Cube/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     3.3 @@ -9,7 +9,6 @@
     3.4  
     3.5  $(OUT)/Cube: $(OUT)/Pure $(FILES)
     3.6  	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
     3.7 -	@chmod -w $@
     3.8  
     3.9  $(OUT)/Pure:
    3.10  	@cd ../Pure; $(ISATOOL) make
     4.1 --- a/src/FOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     4.2 +++ b/src/FOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     4.3 @@ -19,7 +19,6 @@
     4.4  
     4.5  $(OUT)/FOL: $(OUT)/Pure $(FILES)
     4.6  	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
     4.7 -	@chmod -w $@
     4.8  
     4.9  $(OUT)/Pure:
    4.10  	@cd ../Pure; $(ISATOOL) make
     5.1 --- a/src/FOLP/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     5.2 +++ b/src/FOLP/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     5.3 @@ -15,7 +15,6 @@
     5.4  
     5.5  $(OUT)/FOLP: $(OUT)/Pure $(FILES)
     5.6  	@$(ISATOOL) usedir -b $(OUT)/Pure FOLP
     5.7 -	@chmod -w $@
     5.8  
     5.9  $(OUT)/Pure:
    5.10  	@cd ../Pure; $(ISATOOL) make
     6.1 --- a/src/HOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     6.2 +++ b/src/HOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     6.3 @@ -27,7 +27,6 @@
     6.4  
     6.5  $(OUT)/HOL: $(OUT)/Pure $(FILES)
     6.6  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
     6.7 -	@chmod -w $@
     6.8  
     6.9  $(OUT)/Pure:
    6.10  	@cd ../Pure; $(ISATOOL) make
     7.1 --- a/src/HOLCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     7.2 +++ b/src/HOLCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     7.3 @@ -29,7 +29,6 @@
     7.4  
     7.5  $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
     7.6  	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
     7.7 -	@chmod -w $@
     7.8  
     7.9  $(OUT)/HOL:
    7.10  	@cd ../HOL; $(ISATOOL) make
     8.1 --- a/src/LCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     8.2 +++ b/src/LCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     8.3 @@ -9,7 +9,6 @@
     8.4  
     8.5  $(OUT)/LCF: $(OUT)/FOL $(FILES)
     8.6  	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
     8.7 -	@chmod -w $@
     8.8  
     8.9  $(OUT)/FOL:
    8.10  	@cd ../FOL; $(ISATOOL) make
     9.1 --- a/src/Pure/mk	Mon Jul 07 09:07:08 1997 +0200
     9.2 +++ b/src/Pure/mk	Mon Jul 07 09:09:21 1997 +0200
     9.3 @@ -30,6 +30,4 @@
     9.4  $ISABELLE \
     9.5    -e "val ml_system = \"$ML_SYSTEM\";" \
     9.6    -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
     9.7 -  -q RAW_ML_SYSTEM Pure
     9.8 -
     9.9 -chmod -w $ISABELLE_OUTPUT/Pure
    9.10 +  -q -w RAW_ML_SYSTEM Pure
    10.1 --- a/src/Sequents/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
    10.2 +++ b/src/Sequents/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
    10.3 @@ -18,7 +18,6 @@
    10.4  
    10.5  $(OUT)/Sequents: $(OUT)/Pure $(FILES)
    10.6  	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
    10.7 -	@chmod -w $@
    10.8  
    10.9  $(OUT)/Pure:
   10.10  	@cd ../Pure; $(ISATOOL) make
    11.1 --- a/src/ZF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
    11.2 +++ b/src/ZF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
    11.3 @@ -22,7 +22,6 @@
    11.4  
    11.5  $(OUT)/ZF: $(OUT)/FOL $(FILES)
    11.6  	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
    11.7 -	@chmod -w $@
    11.8  
    11.9  $(OUT)/FOL:
   11.10  	@cd ../FOL; $(ISATOOL) make