[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/07: gnu: Update coq to 8.7.0.
From: |
julien lepiller |
Subject: |
02/07: gnu: Update coq to 8.7.0. |
Date: |
Sun, 22 Oct 2017 04:23:33 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 6e4da73710822e1b46390a8ae0d223a0ef150298
Author: Julien Lepiller <address@hidden>
Date: Sat Oct 21 15:57:48 2017 +0200
gnu: Update coq to 8.7.0.
* gnu/packages/ocaml.scm (coq): Update to 8.7.0.
[build-system]: Use ocaml-build-system.
[inputs]: Add python-2.
[arguments]: Disable two failing tests.
---
gnu/packages/ocaml.scm | 16 ++++++++++------
1 file changed, 10 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 40d42a5..bbdde28 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -450,26 +450,25 @@ written in Objective Caml.")
(define-public coq
(package
(name "coq")
- (version "8.5pl2")
+ (version "8.7.0")
(source (origin
(method url-fetch)
(uri (string-append "https://coq.inria.fr/distrib/V" version
"/files/" name "-" version ".tar.gz"))
(sha256
(base32
- "0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"))))
+ "15wjngjd5pyfqdl5yw92rvdxvy15xcjlpx0rqlkzvcsis1z20xpk"))))
(native-search-paths
(list (search-path-specification
(variable "COQPATH")
(files (list "lib/coq/user-contrib")))))
- (build-system gnu-build-system)
+ (build-system ocaml-build-system)
(native-inputs
`(("texlive" ,texlive)
- ("findlib" ,ocaml-findlib)
("hevea" ,hevea)))
(inputs
- `(("ocaml" ,ocaml)
- ("lablgtk" ,lablgtk)
+ `(("lablgtk" ,lablgtk)
+ ("python" ,python-2)
("camlp5" ,camlp5)))
(arguments
`(#:phases
@@ -493,6 +492,11 @@ written in Objective Caml.")
(add-after 'install 'check
(lambda _
(with-directory-excursion "test-suite"
+ ;; These two tests fail.
+ ;; This one fails because the output is not formatted as
expected.
+ (delete-file-recursively "coq-makefile/timing")
+ ;; This one fails because we didn't build coqtop.byte.
+ (delete-file-recursively "coq-makefile/findlib-package")
(zero? (system* "make"))))))))
(home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic")
- branch master updated (3d679ab -> 6efc999), julien lepiller, 2017/10/22
- 02/07: gnu: Update coq to 8.7.0.,
julien lepiller <=
- 04/07: gnu: Update coq-mathcomp to 1.6.2., julien lepiller, 2017/10/22
- 01/07: gnu: camlp5: install META file., julien lepiller, 2017/10/22
- 03/07: gnu: Update coq-flocq to 2.6.0., julien lepiller, 2017/10/22
- 05/07: gnu: Update coq-coquelicot to 3.0.1., julien lepiller, 2017/10/22
- 07/07: gnu: Update coq-interval to 3.3.0., julien lepiller, 2017/10/22
- 06/07: gnu: Add coq-bignums., julien lepiller, 2017/10/22