[polyml] 06/10: Add new modules-non-executable.patch

[James Clarke]

This is an automated email from the git hooks/post-receive script.

jrtc27 pushed a commit to branch debian/experimental
in repository polyml.

commit 23314fdfe79f7179781dab86cd6fcc13d518604a
Author: James Clarke <jrtc27 at debian.org>
Date:   Mon Nov 20 14:39:29 2017 +0000

    Add new modules-non-executable.patch
---
 debian/patches/modules-non-executable.patch | 22 ++++++++++++++++++++++
 debian/patches/series                       |  2 +-
 2 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/debian/patches/modules-non-executable.patch b/debian/patches/modules-non-executable.patch
new file mode 100644
index 0000000..0ff64a3
--- /dev/null
+++ b/debian/patches/modules-non-executable.patch
@@ -0,0 +1,22 @@
+--- a/modules/IntInfAsInt/Makefile.am
++++ b/modules/IntInfAsInt/Makefile.am
+@@ -7,7 +7,7 @@ clean-local:
+ 
+ install-exec-local:
+ 	$(mkdir_p) $(DESTDIR)$(moduledir)
+-	$(INSTALL_PROGRAM) IntInfAsInt $(DESTDIR)$(moduledir)
++	$(INSTALL_DATA) IntInfAsInt $(DESTDIR)$(moduledir)
+ 
+ uninstall-local:
+ 	-rm -f $(DESTDIR)$(moduledir)/IntInfAsInt
+--- a/modules/IntInfAsInt/Makefile.in
++++ b/modules/IntInfAsInt/Makefile.in
+@@ -452,7 +452,7 @@ clean-local:
+ 
+ install-exec-local:
+ 	$(mkdir_p) $(DESTDIR)$(moduledir)
+-	$(INSTALL_PROGRAM) IntInfAsInt $(DESTDIR)$(moduledir)
++	$(INSTALL_DATA) IntInfAsInt $(DESTDIR)$(moduledir)
+ 
+ uninstall-local:
+ 	-rm -f $(DESTDIR)$(moduledir)/IntInfAsInt
diff --git a/debian/patches/series b/debian/patches/series
index 6928140..cac3b6a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1 @@
-# No patches
+modules-non-executable.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git