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.
eliminated chmod -w;
authorwenzelm
Mon, 07 Jul 1997 09:09:21 +0200
changeset 3505 1cb4ea47d967
parent 3504 8493dbe2f009
child 3506 a36e0a49d2cd
eliminated chmod -w;
src/CCL/IsaMakefile file | annotate | diff | comparison | revisions
src/CTT/IsaMakefile file | annotate | diff | comparison | revisions
src/Cube/IsaMakefile file | annotate | diff | comparison | revisions
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions
src/FOLP/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions
src/LCF/IsaMakefile file | annotate | diff | comparison | revisions
src/Pure/mk file | annotate | diff | comparison | revisions
src/Sequents/IsaMakefile file | annotate | diff | comparison | revisions
src/ZF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/CCL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/CCL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -19,7 +19,6 @@
 
 $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL CCL
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make
--- a/src/CTT/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/CTT/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -13,7 +13,6 @@
 
 $(OUT)/CTT: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure CTT
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/Cube/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Cube/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -9,7 +9,6 @@
 
 $(OUT)/Cube: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/FOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/FOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -19,7 +19,6 @@
 
 $(OUT)/FOL: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/FOLP/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/FOLP/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -15,7 +15,6 @@
 
 $(OUT)/FOLP: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure FOLP
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/HOL/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -27,7 +27,6 @@
 
 $(OUT)/HOL: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/HOLCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -29,7 +29,6 @@
 
 $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
-	@chmod -w $@
 
 $(OUT)/HOL:
 	@cd ../HOL; $(ISATOOL) make
--- a/src/LCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/LCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -9,7 +9,6 @@
 
 $(OUT)/LCF: $(OUT)/FOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL LCF
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make
--- a/src/Pure/mk	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Pure/mk	Mon Jul 07 09:09:21 1997 +0200
@@ -30,6 +30,4 @@
 $ISABELLE \
   -e "val ml_system = \"$ML_SYSTEM\";" \
   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
-  -q RAW_ML_SYSTEM Pure
-
-chmod -w $ISABELLE_OUTPUT/Pure
+  -q -w RAW_ML_SYSTEM Pure
--- a/src/Sequents/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Sequents/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -18,7 +18,6 @@
 
 $(OUT)/Sequents: $(OUT)/Pure $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
-	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
--- a/src/ZF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/ZF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -22,7 +22,6 @@
 
 $(OUT)/ZF: $(OUT)/FOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
-	@chmod -w $@
 
 $(OUT)/FOL:
 	@cd ../FOL; $(ISATOOL) make
isabelle