[Pkg-ocaml-maint-commits] [cduce] 01/03: Use less aggressive inlining

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository cduce.

commit 542ef8284cf82f4ccc0c979076cf192b6faf4945
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Dec 22 21:58:42 2015 +0100

    Use less aggressive inlining
---
 debian/changelog                                   |  7 +++++++
 .../0002-Use-less-agrressive-inlining.patch        | 22 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 3 files changed, 30 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 7a4d2d4..7d8b0d5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+cduce (0.6.0-4) UNRELEASED; urgency=medium
+
+  * Use less aggressive inlining to make cduce build on armel, armhf
+    and powerpc.
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 22 Dec 2015 21:56:31 +0100
+
 cduce (0.6.0-3) unstable; urgency=medium
 
   * Do not use ocaml-best-compilers, since ocamlopt.opt seems broken(?)
diff --git a/debian/patches/0002-Use-less-agrressive-inlining.patch b/debian/patches/0002-Use-less-agrressive-inlining.patch
new file mode 100644
index 0000000..f75f567
--- /dev/null
+++ b/debian/patches/0002-Use-less-agrressive-inlining.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Tue, 22 Dec 2015 21:56:14 +0100
+Subject: Use less agrressive inlining
+
+---
+ Makefile.distrib | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/Makefile.distrib b/Makefile.distrib
+index 3d92d59..1957a1d 100644
+--- a/Makefile.distrib
++++ b/Makefile.distrib
+@@ -48,7 +48,7 @@ ifeq ($(PROFILE), true)
+     DEPEND_OCAMLDEP =
+   endif
+ else
+-  CAMLOPT_P = ocamlopt -inline 10000
++  CAMLOPT_P = ocamlopt -inline 1000
+ endif
+ 
+ OPT = -warn-error FPSXY
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index a06cc00..e066dd5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Port-to-OCaml-4.02.3.patch
+0002-Use-less-agrressive-inlining.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cduce.git