From d57f8a932cc2ca71b9583df4b8e9fb111f80b180 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Mon, 20 Jul 2015 09:52:10 +0200
Subject: disable native compiler on non-mainstream arches

---
 debian/changelog |  6 ++++++
 debian/rules     | 10 +++++++++-
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 316f566d..23fccd06 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.5~beta2+dfsg-2) experimental; urgency=medium
+
+  * Enable native compiler only on amd64 and i386
+
+ -- Enrico Tassi <gareuselesinge@debian.org>  Mon, 20 Jul 2015 09:51:21 +0200
+
 coq (8.5~beta2+dfsg-1) experimental; urgency=medium
 
   * New upstream release
diff --git a/debian/rules b/debian/rules
index d75b48e0..de43511e 100755
--- a/debian/rules
+++ b/debian/rules
@@ -25,12 +25,20 @@ PACKAGES := $(shell dh_listpackages)
 COQ_VERSION := 8.5beta2
 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
 
+ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH)
+ifeq ($(ARCH),$(filter $(ARCH),amd64 i386))
+NATIVE_COMPUTE := 
+else
+NATIVE_COMPUTE := -no-native-compiler
+endif
+
 CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \
   -configdir /etc/xdg/coq \
   -emacslib /usr/share/emacs/site-lisp/coq \
   -browser "/usr/bin/x-www-browser %s &" \
   -with-doc no \
-  -debug
+  -debug \
+  $(NATIVE_COMPUTE)
 
 export OCAMLINIT_SED += \
   -e 's%@CoqVersion@%$(COQ_VERSION)%' \
-- 
cgit v1.2.3