summaryrefslogtreecommitdiff
path: root/debian/patches/install-x.patch
blob: 55629ea8a23700a89aa5a32435bffaeac3d3c8d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
From: Hendrik Tews <hendrik@askra.de>
Date: Tue, 23 Jul 2019 09:38:37 +0200
Subject: install without adding execute permissions

---
 Makefile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index a3921d7..f1e5b1f 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ install: $(INSTALL-TARGETS)
 
 install-doc:
 	$(INSTALL) -d "$(DOCDIR)/odoc-pages"
-	$(INSTALL) CHANGES.md LICENSE.md README.md "$(DOCDIR)"
+	$(INSTALL) -m 644 CHANGES.md LICENSE.md README.md "$(DOCDIR)"
 	$(INSTALL) doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
 	           doc/tool_man.mld "$(DOCDIR)/odoc-pages"
 
@@ -61,18 +61,18 @@ create-libdir:
 	$(INSTALL) -d "$(LIBDIR)"
 
 install-common: create-libdir
-	$(INSTALL) pkg/META $(BASE).mli $(BASE).cmi $(BASE).cmti "$(LIBDIR)"
-	$(INSTALL) cmdliner.opam "$(LIBDIR)/opam"
+	$(INSTALL) -m 644 pkg/META $(BASE).mli $(BASE).cmi $(BASE).cmti "$(LIBDIR)"
+	$(INSTALL) -m 644 cmdliner.opam "$(LIBDIR)/opam"
 
 install-byte: create-libdir
-	$(INSTALL) $(BASE).cma "$(LIBDIR)"
+	$(INSTALL) -m 644 $(BASE).cma "$(LIBDIR)"
 
 install-native: create-libdir
-	$(INSTALL) $(BASE).cmxa $(BASE)$(EXT_LIB) $(wildcard $(B)/cmdliner*.cmx) \
+	$(INSTALL) -m 644 $(BASE).cmxa $(BASE)$(EXT_LIB) $(wildcard $(B)/cmdliner*.cmx) \
   "$(LIBDIR)"
 
 install-native-dynlink: create-libdir
-	$(INSTALL) $(BASE).cmxs "$(LIBDIR)"
+	$(INSTALL) -m 644 $(BASE).cmxs "$(LIBDIR)"
 
 .PHONY: all install install-doc clean build-byte build-native \
 	build-native-dynlink create-libdir install-common install-byte \