[Pkg-ocaml-maint-commits] [coq] 01/01: fix options passed to configure on non intel architectures

[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 d55ac4014632489e3009a2a7351d018b3b2d27ac
Author: Enrico Tassi <gareuselesinge at debian.org>
Date:   Sat Nov 14 15:00:05 2015 +0100

    fix options passed to configure on non intel architectures
---
 debian/changelog | 6 ++++++
 debian/rules     | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index a14cef3..9e661d4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.5~beta3+dfsg-2) experimental; urgency=medium
+
+  * Option -no-native-compiler now called -native-compiler no 
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Sat, 14 Nov 2015 14:59:04 +0100
+
 coq (8.5~beta3+dfsg-1) experimental; urgency=medium
 
   * New upstream release
diff --git a/debian/rules b/debian/rules
index 41c08ae..7944985 100755
--- a/debian/rules
+++ b/debian/rules
@@ -29,7 +29,7 @@ ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH)
 ifeq ($(ARCH),$(filter $(ARCH),amd64 i386))
 NATIVE_COMPUTE := 
 else
-NATIVE_COMPUTE := -no-native-compiler
+NATIVE_COMPUTE := -native-compiler no
 endif
 
 CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \

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