[Pkg-ocaml-maint-commits] [cduce] 01/02: Set inlining level from debian/rules and decrease it only where necessary

Mehdi Dogguy mehdi at moszumanska.debian.org
Wed Dec 23 09:43:36 UTC 2015


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

mehdi pushed a commit to branch master
in repository cduce.

commit c1570f0abdb4016fc45cf9d0c6fde8554120c598
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed Dec 23 10:41:34 2015 +0100

    Set inlining level from debian/rules and decrease it only where necessary
---
 debian/changelog                                   | 10 ++++++++++
 .../0002-Use-less-agrressive-inlining.patch        | 22 ----------------------
 debian/patches/series                              |  1 -
 debian/rules                                       | 12 +++++++++++-
 4 files changed, 21 insertions(+), 24 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index c36f80f..4dd22e5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+cduce (0.6.0-5) UNRELEASED; urgency=medium
+
+  * Set inlining level from debian/rules and decrease it only where
+    necessary:
+    - armel and powerpc: 1000
+    - armhf: 100
+    - elsewhere: 10000
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Wed, 23 Dec 2015 10:39:28 +0100
+
 cduce (0.6.0-4) unstable; urgency=medium
 
   * Use less aggressive inlining to make cduce build on armel, armhf
diff --git a/debian/patches/0002-Use-less-agrressive-inlining.patch b/debian/patches/0002-Use-less-agrressive-inlining.patch
deleted file mode 100644
index f75f567..0000000
--- a/debian/patches/0002-Use-less-agrressive-inlining.patch
+++ /dev/null
@@ -1,22 +0,0 @@
-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 e066dd5..a06cc00 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
 0001-Port-to-OCaml-4.02.3.patch
-0002-Use-less-agrressive-inlining.patch
diff --git a/debian/rules b/debian/rules
index 1bf2740..bb9dc86 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,6 +8,16 @@ else
   MAKE_OPTS := "NATIVE=false"
 endif
 
+ifeq ($(DEB_BUILD_ARCH), armhf)
+  CAMLOPT_P := "ocamlopt -inline 100"
+else ifeq ($(DEB_BUILD_ARCH), armel)
+  CAMLOPT_P := "ocamlopt -inline 1000"
+else ifeq ($(DEB_BUILD_ARCH), powerpc)
+  CAMLOPT_P := "ocamlopt -inline 1000"
+else
+  CAMLOPT_P := "ocamlopt -inline 10000"
+endif
+
 LIBDIR=$(CURDIR)/debian/cduce/$(OCAML_STDLIB_DIR)
 DOCDIR=$(CURDIR)/debian/cduce/usr/share/doc/cduce/html
 BINDIR=$(CURDIR)/debian/cduce/usr/bin
@@ -31,7 +41,7 @@ override_dh_auto_configure:
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
-	$(MAKE) $(MAKE_OPTS) all doc
+	$(MAKE) CAMLOPT_P=$(CAMLOPT_P) $(MAKE_OPTS) all doc
 
 .PHONY: override_dh_auto_clean
 override_dh_auto_clean:

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



More information about the Pkg-ocaml-maint-commits mailing list