The following commit has been merged in the master branch: commit 1c73945376886885d68dad6ba420de1fdbc0de89 Author: Mehdi Dogguy <me...@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 <me...@debian.org> Sun, 17 Apr 2011 12:20:25 +0200 + -- Mehdi Dogguy <me...@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 <st...@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 <st...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits