ocaml (3.12.1-4) 0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch

Summary

 configure |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

    
download this patch

Patch contents

From: Stephane Glondu <steph@glondu.net>
Date: Sat, 16 Apr 2011 23:41:23 +0200
Subject: Natdynlink works on powerpc and hurd-i386

Rationale: ssreflect used to work with natdynlink on powerpc and hurd
with ocaml 3.11.2 / coq 8.2...

Note: there is no native compiler for powerpc64! This must be a
typo...

Bug: http://caml.inria.fr/mantis/view.php?id=5255
Signed-off-by: Stephane Glondu <steph@glondu.net>
---
 configure |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index d4287ed..d6ba2e3 100755
--- a/configure
+++ b/configure
@@ -620,13 +620,14 @@ if test $withsharedlibs = "yes"; then
   case "$host" in
     *-*-cygwin*)                  natdynlink=true;;
     i[3456]86-*-linux*)           natdynlink=true;;
+    i[3456]86-*-gnu*)             natdynlink=true;;
     x86_64-*-linux*)              natdynlink=true;;
     i[3456]86-*-darwin10.*)
       if test $arch64 == true; 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;;
--