From 665652844458aa9826e425864781860504bf1836 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 09:04:36 +0000
Subject: coq_makefile: Don't install with +x.

By Tom Prince

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14691 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index b581801b4c..6d1e8277b4 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -143,7 +143,7 @@ let install_include_by_root files_var files (inc_i,inc_r) =
     let pdir = physical_dir_of_logical_dir ldir in
       printf "\tfor i in $(%s); do \\\n" files_var;
       printf "\t install -d `dirname $(DSTROOT)$(COQLIBINSTALL)/%s/$$i`; \\\n" pdir;
-      printf "\t install $$i $(DSTROOT)$(COQLIBINSTALL)/%s/$$i; \\\n" pdir;
+      printf "\t install -m 0644 $$i $(DSTROOT)$(COQLIBINSTALL)/%s/$$i; \\\n" pdir;
       printf "\tdone\n"
   with Not_found ->
     let absdir_of_files = List.rev_map
@@ -154,7 +154,7 @@ let install_include_by_root files_var files (inc_i,inc_r) =
     let install_inc_i d =
       printf "\tinstall -d $(DSTROOT)$(COQLIBINSTALL)/%s; \\\n" d;
       printf "\tfor i in $(%sINC); do \\\n" files_var;
-      printf "\t install $$i $(DSTROOT)$(COQLIBINSTALL)/%s/`basename $$i`; \\\n" d;
+      printf "\t install -m 0644 $$i $(DSTROOT)$(COQLIBINSTALL)/%s/`basename $$i`; \\\n" d;
       printf "\tdone\n"
     in
       if inc_r = [] then
@@ -172,7 +172,7 @@ let install_include_by_root files_var files (inc_i,inc_r) =
 			   begin
 			     printf "\tcd %s; for i in $(%s%d); do \\\n" pdir files_var i;
 			     printf "\t install -d `dirname $(DSTROOT)$(COQLIBINSTALL)/%s/$$i`; \\\n" pdir';
-			     printf "\t install $$i $(DSTROOT)$(COQLIBINSTALL)/%s/$$i; \\\n" pdir';
+			     printf "\t install -m 0644 $$i $(DSTROOT)$(COQLIBINSTALL)/%s/$$i; \\\n" pdir';
 			     printf "\tdone\n";
 			   end;
 			 if has_inc_i_files then install_inc_i pdir'
@@ -182,7 +182,7 @@ let install_doc some_vfiles some_mlifiles (_,inc_r) =
   let install_one_kind kind dir =
     printf "\tinstall -d $(DSTROOT)$(COQDOCINSTALL)/%s/%s\n" dir kind;
     printf "\tfor i in %s/*; do \\\n" kind;
-    printf "\t install $$i $(DSTROOT)$(COQDOCINSTALL)/%s/$$i;\\\n" dir;
+    printf "\t install -m 0644 $$i $(DSTROOT)$(COQDOCINSTALL)/%s/$$i;\\\n" dir;
     print "\tdone\n" in
     print "install-doc:\n";
     let () = match inc_r with
-- 
cgit v1.2.3