From: Stephane Glondu <steph@glondu.net>
Date: Sat, 9 Nov 2013 06:56:39 +0000 (+0100)
Subject: Native backtraces don't work on powerpc, sparc and arm*
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~189
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=dd68aeac0c4028416dc62421fd5cbf6e377bdd58;p=ocaml.git

Native backtraces don't work on powerpc, sparc and arm*
---

diff --git a/debian/patches/0014-Native-backtraces-don-t-work-on-powerpc-sparc-and-ar.patch b/debian/patches/0014-Native-backtraces-don-t-work-on-powerpc-sparc-and-ar.patch
new file mode 100644
index 00000000..35372e9c
--- /dev/null
+++ b/debian/patches/0014-Native-backtraces-don-t-work-on-powerpc-sparc-and-ar.patch
@@ -0,0 +1,25 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Sat, 9 Nov 2013 07:56:39 +0100
+Subject: Native backtraces don't work on powerpc, sparc and arm*
+
+---
+ testsuite/tests/backtrace/Makefile | 5 ++++-
+ 1 file changed, 4 insertions(+), 1 deletion(-)
+
+diff --git a/testsuite/tests/backtrace/Makefile b/testsuite/tests/backtrace/Makefile
+index 83f9472..ce563be 100644
+--- a/testsuite/tests/backtrace/Makefile
++++ b/testsuite/tests/backtrace/Makefile
+@@ -18,7 +18,10 @@ OTHERFILES=backtrace2.ml raw_backtrace.ml
+ 
+ default:
+ 	$(MAKE) byte
+-	@if $(BYTECODE_ONLY); then : ; else $(MAKE) native; fi
++	@case `dpkg-architecture -qDEB_BUILD_ARCH` in \
++	  sparc|powerpc|arm*) : ;; \
++	  *) if $(BYTECODE_ONLY) ; then : ; else $(MAKE) native; fi ;; \
++	esac
+ 
+ .PHONY: byte
+ byte:
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index d67ae494..efbcf038 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -11,3 +11,4 @@
 0011-Enable-mkstemp-in-yacc.patch
 0012-Fix-ocamlopt-on-sparc.patch
 0013-Tune-resource-usage-of-some-tests.patch
+0014-Native-backtraces-don-t-work-on-powerpc-sparc-and-ar.patch