[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/11: gnu: coq: Update to 8.16.0.
From: |
guix-commits |
Subject: |
07/11: gnu: coq: Update to 8.16.0. |
Date: |
Thu, 22 Sep 2022 01:38:43 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 8734851a8c7bf39f4e88129c3e3de9074fddc3ea
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Mon Sep 19 21:06:07 2022 +0200
gnu: coq: Update to 8.16.0.
* gnu/packages/coq.scm (coq-core): Update to 8.16.0.
(coq-bignums): Update to 8.16.0.
(coq-equations): Update to 1.3-8.16.
(coq-gappa): Adjust for changes in coq-core.
---
gnu/packages/coq.scm | 25 ++++++++++++++++---------
1 file changed, 16 insertions(+), 9 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index f487b3794c..09e04d9f7e 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -52,7 +52,7 @@
(define-public coq-core
(package
(name "coq-core")
- (version "8.15.2")
+ (version "8.16.0")
(source
(origin
(method git-fetch)
@@ -62,7 +62,7 @@
(file-name (git-file-name name version))
(sha256
(base32
- "1m6dilfbp9q8j8sya4ap82q72m3a4mq6m96gzvi6vgv04cr6r33c"))
+ "1rp4m2yjldsz0kj7p2fsc312n740fr8kg99jlsk8aq3h524qz2h8"))
(patches (search-patches "coq-fix-envvars.patch"))))
(native-search-paths
(list (search-path-specification
@@ -315,7 +315,9 @@ inside Coq.")
(arguments
`(#:configure-flags
(list (string-append "COQUSERCONTRIB=" (assoc-ref %outputs "out")
- "/lib/coq/user-contrib"))
+ "/lib/coq/user-contrib")
+ (string-append "OCAMLFIND_DESTDIR=" (assoc-ref %outputs "out")
+ "/lib/ocaml/site-lib"))
#:phases
(modify-phases %standard-phases
(add-before 'configure 'fix-remake
@@ -431,7 +433,7 @@ theorems between the two libraries.")
(define-public coq-bignums
(package
(name "coq-bignums")
- (version "8.15.0")
+ (version "8.16.0")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -440,7 +442,7 @@ theorems between the two libraries.")
(file-name (git-file-name name version))
(sha256
(base32
- "093klwlhclgyrba1iv18dyz1qp5f0lwiaa7y0qwvgmai8rll5fns"))))
+ "07ndnm7pndmai3a2bkcmwjfjzfaqyq19c5an15hmhgmd0rdy4z8c"))))
(build-system gnu-build-system)
(native-inputs
(list ocaml coq))
@@ -450,7 +452,9 @@ theorems between the two libraries.")
`(#:tests? #f ; No test target.
#:make-flags
(list (string-append "COQLIBINSTALL=" (assoc-ref %outputs "out")
- "/lib/coq/user-contrib"))
+ "/lib/coq/user-contrib")
+ (string-append "COQPLUGININSTALL=" (assoc-ref %outputs "out")
+ "/lib/ocaml/site-lib/"))
#:phases
(modify-phases %standard-phases
(delete 'configure))))
@@ -559,11 +563,11 @@ uses Ltac to synthesize the substitution operation.")
(method git-fetch)
(uri (git-reference
(url "https://github.com/mattam82/Coq-Equations")
- (commit (string-append "v" version "-8.15"))))
+ (commit (string-append "v" version "-8.16"))))
(file-name (git-file-name name version))
(sha256
(base32
- "1vfcfpsp9zyj0sw0cwibk76nj6n0r6gwh8m1aa3lbvc0b1kbm32k"))))
+ "08f756vgdd1wklkarg0b93j4n5mhkqm5ixxrhyb23dcv2dwhc8yg"))))
(build-system gnu-build-system)
(native-inputs
(list ocaml coq camlp5))
@@ -573,7 +577,10 @@ uses Ltac to synthesize the substitution operation.")
`(#:test-target "test-suite"
#:make-flags (list (string-append "COQLIBINSTALL="
(assoc-ref %outputs "out")
- "/lib/coq/user-contrib"))
+ "/lib/coq/user-contrib")
+ (string-append "COQPLUGININSTALL="
+ (assoc-ref %outputs "out")
+ "/lib/ocaml/site-lib/"))
#:phases
(modify-phases %standard-phases
(replace 'configure
- branch master updated (33d4992b69 -> 04cad8e29e), guix-commits, 2022/09/22
- 05/11: gnu: coq-mathcomp: Update to 1.15.0., guix-commits, 2022/09/22
- 08/11: gnu: ocaml-linenoise: Update to 1.4.0., guix-commits, 2022/09/22
- 11/11: gnu: Add ideviceinstaller., guix-commits, 2022/09/22
- 01/11: gnu: Add ocaml-lablgtk3-sourceview3., guix-commits, 2022/09/22
- 09/11: gnu: ocaml-uunf: Update to 15.0.0., guix-commits, 2022/09/22
- 06/11: gnu: coq-interval: Update to 4.5.2., guix-commits, 2022/09/22
- 04/11: gnu: coq-gappa: Update to 1.5.2., guix-commits, 2022/09/22
- 02/11: gnu: lablgtk3: Update to 3.1.2., guix-commits, 2022/09/22
- 07/11: gnu: coq: Update to 8.16.0.,
guix-commits <=
- 10/11: gnu: ocaml-uucp: Update to 15.0.0., guix-commits, 2022/09/22
- 03/11: gnu: coq-flocq: Update to 4.1.0., guix-commits, 2022/09/22