[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.2.a-1-9-g15093e0
Mehdi Dogguy
mehdi at debian.org
Sun Apr 17 12:39:07 UTC 2011
The following commit has been merged in the master branch:
commit 1c73945376886885d68dad6ba420de1fdbc0de89
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Sun Apr 17 12:50:22 2011 +0200
Natdynlink works on PowerPc.
diff --git a/debian/changelog b/debian/changelog
index a30a950..2c0898e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,10 @@ jocaml (3.12.0-1) UNRELEASED; urgency=low
* Fix typo in description (Closes: #582533).
* Add patch to fix ocamlopt w.r.t. binutils 2.21 (Closes: #618106).
- 0003-Fix-ocamlopt-w.r.t.-binutils-2.21.patch
+ * Natdynlink works on PowerPc.
+ - Add 0004-Natdynlink-works-on-powerpc.patch
- -- Mehdi Dogguy <mehdi at debian.org> Sun, 17 Apr 2011 12:20:25 +0200
+ -- Mehdi Dogguy <mehdi at debian.org> Sun, 17 Apr 2011 12:48:33 +0200
jocaml (3.11.2.a-1) unstable; urgency=low
diff --git a/debian/patches/0004-Natdynlink-works-on-powerpc.patch b/debian/patches/0004-Natdynlink-works-on-powerpc.patch
new file mode 100644
index 0000000..25cf206
--- /dev/null
+++ b/debian/patches/0004-Natdynlink-works-on-powerpc.patch
@@ -0,0 +1,27 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Sat, 16 Apr 2011 23:41:23 +0200
+Subject: [PATCH] Natdynlink works on powerpc
+
+Rationale: ssreflect used to work with natdynlink on powerpc with
+ocaml 3.11.2 / coq 8.2... and there is no native compiler for
+powerpc64! This must be a typo...
+
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ configure | 2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/configure b/configure
+index 7a34621..a744e94 100755
+--- a/configure
++++ b/configure
+@@ -625,7 +625,7 @@ if test $withsharedlibs = "yes"; then
+ natdynlink=true
+ fi;;
+ i[3456]86-*-darwin[89]*) natdynlink=true;;
+- powerpc64-*-linux*) natdynlink=true;;
++ powerpc-*-linux*) natdynlink=true;;
+ sparc-*-linux*) natdynlink=true;;
+ i686-*-kfreebsd*) natdynlink=true;;
+ x86_64-*-kfreebsd*) natdynlink=true;;
+--
diff --git a/debian/patches/series b/debian/patches/series
index 25dfcc0..8435d3f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch
0002-Add-option-v-to-expunge-to-select-modules-to-filter-.patch
0003-Fix-ocamlopt-w.r.t.-binutils-2.21.patch
+0004-Natdynlink-works-on-powerpc.patch
--
jocaml packaging
More information about the Pkg-ocaml-maint-commits
mailing list