This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 56e5876c2ad8909f5abccfba1ef8484908b70a30
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Thu Dec 29 08:59:12 2016 +0100
fix FTBFS on mips
---
debian/changelog | 6 ++++++
debian/patches/0005-5127-fails-on-mips.patch | 30 ++++++++++++++++++++++++++++
debian/patches/series | 1 +
3 files changed, 37 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 1e33920..a37e61a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.6-3) unstable; urgency=medium
+
+ * 5127.v fails on mips, disabling
+
+ -- Enrico Tassi <gareuselesi...@debian.org> Thu, 29 Dec 2016 08:58:35 +0100
+
coq (8.6-2) unstable; urgency=medium
* Disable some tests with hardcoded timeout to fix FTBFS on
diff --git a/debian/patches/0005-5127-fails-on-mips.patch
b/debian/patches/0005-5127-fails-on-mips.patch
new file mode 100644
index 0000000..949c33a
--- /dev/null
+++ b/debian/patches/0005-5127-fails-on-mips.patch
@@ -0,0 +1,30 @@
+From: Enrico Tassi <gareuselesi...@debian.org>
+Date: Thu, 29 Dec 2016 08:56:45 +0100
+Subject: 5127 fails on mips
+
+---
+ test-suite/bugs/closed/5127.v | 15 ---------------
+ 1 file changed, 15 deletions(-)
+ delete mode 100644 test-suite/bugs/closed/5127.v
+
+diff --git a/test-suite/bugs/closed/5127.v b/test-suite/bugs/closed/5127.v
+deleted file mode 100644
+index 831e8fb..0000000
+--- a/test-suite/bugs/closed/5127.v
++++ /dev/null
+@@ -1,15 +0,0 @@
+-Fixpoint arrow (n: nat) :=
+- match n with
+- | S n => bool -> arrow n
+- | O => bool
+- end.
+-
+-Fixpoint apply (n : nat) : arrow n -> bool :=
+- match n return arrow n -> bool with
+- | S n => fun f => apply _ (f true)
+- | O => fun x => x
+- end.
+-
+-Axiom f : arrow 10000.
+-Definition v : bool := Eval compute in apply _ f.
+-Definition w : bool := Eval vm_compute in v.
diff --git a/debian/patches/series b/debian/patches/series
index 48001bd..7285ccd 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
0002-Remove-test-4366-too-picky-on-the-timeout.patch
0003-Remove-test-4429.patch
0004-Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch
+0005-5127-fails-on-mips.patch
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
