[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/09: gnu: why3: Update to 1.4.0.
From: |
guix-commits |
Subject: |
03/09: gnu: why3: Update to 1.4.0. |
Date: |
Thu, 7 Oct 2021 22:34:42 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 26dd2321febf5290cce2f26d8f341b0e85607ebd
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Fri Oct 8 03:47:21 2021 +0200
gnu: why3: Update to 1.4.0.
* gnu/packages/maths.scm (why3): Update to 1.4.0.
---
gnu/packages/maths.scm | 20 +++++++++++++-------
1 file changed, 13 insertions(+), 7 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 95ce13f..2c7202b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -6903,17 +6903,21 @@ numeric differences and differences in numeric
formats.")
(define-public why3
(package
(name "why3")
- (version "1.3.3")
+ (version "1.4.0")
(source (origin
- (method url-fetch)
- (uri (string-append
"https://gforge.inria.fr/frs/download.php/file"
- "/38367/why3-" version ".tar.gz"))
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://gitlab.inria.fr/why3/why3")
+ (commit version)))
+ (file-name (git-file-name name version))
(sha256
(base32
- "1n0a2nn1gnk0zg339lh698g4wpk7m8m1vyi2yvifd5adqvk4milw"))))
+ "0pfsiddnk26f384wbazfpgzh1n1ibf3xq101q74mxvczi7z0a791"))))
(build-system ocaml-build-system)
(native-inputs
- `(("coq" ,coq)
+ `(("autoconf" ,autoconf)
+ ("automake" ,automake)
+ ("coq" ,coq)
("ocaml" ,ocaml)
("which" ,which)))
(propagated-inputs
@@ -6929,10 +6933,12 @@ numeric differences and differences in numeric
formats.")
(arguments
`(#:phases
(modify-phases %standard-phases
- (add-before 'configure 'fix-configure
+ (add-before 'configure 'bootstrap
(lambda _
+ (invoke "./autogen.sh")
(setenv "CONFIG_SHELL" (which "sh"))
(substitute* "configure"
+ (("#! /bin/sh") (string-append "#!" (which "sh")))
;; find ocaml-num in the correct directory
(("\\$DIR/nums.cma") "$DIR/num.cma")
(("\\$DIR/num.cmi") "$DIR/core/num.cmi"))
- branch master updated (a0804f4 -> 3fc0fa9), guix-commits, 2021/10/07
- 02/09: gnu: camlzip: Update to 1.11., guix-commits, 2021/10/07
- 01/09: gnu: coq: Add upstream-name., guix-commits, 2021/10/07
- 03/09: gnu: why3: Update to 1.4.0.,
guix-commits <=
- 04/09: gnu: frama-c: Update to 23.1., guix-commits, 2021/10/07
- 07/09: gnu: ocaml-cairo2: Update to 0.6.2., guix-commits, 2021/10/07
- 05/09: gnu: ocaml-base64: Update to 3.5.0., guix-commits, 2021/10/07
- 06/09: gnu: ocaml-bisect-ppx: Add upstream-name., guix-commits, 2021/10/07
- 08/09: gnu: ocaml-version: Add upstream-name., guix-commits, 2021/10/07
- 09/09: gnu: ocaml-graphics: Update to 5.1.2., guix-commits, 2021/10/07