From 8050c90b1cfc755abb16c83df0eebaed85cd67d2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 14 Jan 2015 19:08:55 +0100
Subject: coq_makefile: chmod 755 on toplopp cmxs

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index b73fdba1e6..ac3f6fc8b3 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -270,7 +270,7 @@ let install (vfiles,(mlifiles,ml4files,mlfiles,mllibfiles,mlpackfiles),_,sds) in
     if (not_empty cmxsfiles) then begin
       print "install-toploop: $(MLLIBFILES:.mllib=.cmxs)\n";
       printf "\t install -d \"$(DSTROOT)\"$(COQTOPINSTALL)/\n";
-      printf "\t install -m 0644 $?  \"$(DSTROOT)\"$(COQTOPINSTALL)/\n";
+      printf "\t install -m 0755 $?  \"$(DSTROOT)\"$(COQTOPINSTALL)/\n";
       print "\n";
     end;
     print "install:";
-- 
cgit v1.2.3