summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog6
-rwxr-xr-xdebian/rules2
2 files changed, 7 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index a14cef3e..9e661d4e 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@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 41c08ae1..7944985a 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 \