summaryrefslogtreecommitdiff
path: root/debian/patches/install-x.patch
blob: cb1cb63a21afe76608f1fbb50fc458028cb13db5 (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
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(-)

--- cmdliner.orig/Makefile
+++ cmdliner/Makefile
@@ -41,7 +41,7 @@
 
 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 @@
 	$(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 \