[Pkg-ocaml-maint-commits] [coq] 01/02: disable native compiler on non-mainstream arches

[Enrico Tassi]

This is an automated email from the git hooks/post-receive script.

gareuselesinge pushed a commit to branch master
in repository coq.

commit d57f8a932cc2ca71b9583df4b8e9fb111f80b180
Author: Enrico Tassi <gareuselesinge at debian.org>
Date:   Mon Jul 20 09:52:10 2015 +0200

    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 316f566..23fccd0 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 at 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 d75b48e..de43511 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)%' \

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git