[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/13: gnu: gappa: Update to 1.4.1.
From: |
guix-commits |
Subject: |
05/13: gnu: gappa: Update to 1.4.1. |
Date: |
Mon, 3 Oct 2022 11:19:17 -0400 (EDT) |
apteryx pushed a commit to branch master
in repository guix.
commit 0f4655933121af9cf46df35677702d953c270907
Author: Maxim Cournoyer <maxim.cournoyer@gmail.com>
AuthorDate: Sun Oct 2 20:54:45 2022 -0400
gnu: gappa: Update to 1.4.1.
* gnu/packages/algebra.scm (gappa): Update to 1.4.1.
[source]: Fetch from git.
[arguments]: Use gexps.
[phases]: Delete trailing #t.
[native-inputs]: New field.
---
gnu/packages/algebra.scm | 62 +++++++++++++++++++++++++-----------------------
1 file changed, 32 insertions(+), 30 deletions(-)
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index c98b882d09..71a4b3dc9b 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -14,6 +14,7 @@
;;; Copyright © 2020 Vincent Legoll <vincent.legoll@gmail.com>
;;; Copyright © 2020, 2021 Vinicius Monego <monego@posteo.net>
;;; Copyright © 2021 Lars-Dominik Braun <ldb@leibniz-psychology.org>
+;;; Copyright © 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -1402,42 +1403,43 @@ objects.")
(define-public gappa
(package
- (name "gappa")
- (version "1.4.0")
- (source (origin
- (method url-fetch)
- (uri (string-append "https://gappa.gitlabpages.inria.fr/releases/"
- "gappa-" version ".tar.gz"))
- (sha256
- (base32
- "12x42z901pr05ldmparqdi8sq9s7fxbavhzk2dbq3l6hy247dwbb"))))
- (build-system gnu-build-system)
- (inputs
- (list boost gmp mpfr))
- (arguments
- `(#:phases
- (modify-phases %standard-phases
- (add-after 'unpack 'patch-remake-shell
- (lambda _
- (substitute* "remake.cpp"
- (("/bin/sh") (which "sh")))
- #t))
- (replace 'build
- (lambda _ (invoke "./remake" "-s" "-d")))
- (replace 'install
- (lambda _ (invoke "./remake" "-s" "-d" "install")))
- (replace 'check
- (lambda _ (invoke "./remake" "check"))))))
- (home-page "http://gappa.gforge.inria.fr/")
- (synopsis "Proof generator for arithmetic properties")
- (description "Gappa is a tool intended to help verifying and formally
+ (name "gappa")
+ (version "1.4.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://gitlab.inria.fr/gappa/gappa")
+ (commit (string-append name "-" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0vfggzilc0gicrhqypmlx30ccrdkmyg22zzn46988c28xi9rcicj"))))
+ (build-system gnu-build-system)
+ (arguments
+ (list #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'unpack 'patch-remake-shell
+ (lambda _
+ (substitute* "remake.cpp"
+ (("/bin/sh") (which "sh")))))
+ (replace 'build
+ (lambda _ (invoke "./remake" "-s" "-d")))
+ (replace 'install
+ (lambda _ (invoke "./remake" "-s" "-d" "install")))
+ (replace 'check
+ (lambda _ (invoke "./remake" "check"))))))
+ (native-inputs (list autoconf automake bison flex libtool))
+ (inputs (list boost gmp mpfr))
+ (home-page "https://gitlab.inria.fr/gappa/gappa")
+ (synopsis "Proof generator for arithmetic properties")
+ (description "Gappa is a tool intended to help verifying and formally
proving properties on numerical programs dealing with floating-point or
fixed-point arithmetic. It has been used to write robust floating-point
filters for CGAL and it is used to certify elementary functions in CRlibm.
While Gappa is intended to be used directly, it can also act as a backend
prover for the Why3 software verification platform or as an automatic tactic
for the Coq proof assistant.")
- (license (list license:gpl3+ license:cecill)))) ; either/or
+ (license (list license:gpl3+ license:cecill)))) ; either/or
(define-public givaro
(package
- branch master updated (aeaabc4253 -> 06201b76e5), guix-commits, 2022/10/03
- 03/13: gnu: gf2x: Update to 1.3.0., guix-commits, 2022/10/03
- 05/13: gnu: gappa: Update to 1.4.1.,
guix-commits <=
- 01/13: gnu-maintenance: Remove retired 'gforge.inria.fr' site., guix-commits, 2022/10/03
- 07/13: gnu: isl: Remove outdated comment., guix-commits, 2022/10/03
- 08/13: gnu: mpfi: Use gexps and remove input labels., guix-commits, 2022/10/03
- 10/13: gnu: Remove unused scotch patches., guix-commits, 2022/10/03
- 02/13: gnu: gf2x: Migrate from gforge.inria.fr to gitlab.inria.fr., guix-commits, 2022/10/03
- 04/13: gnu: gmp-ecm: Update to 7.0.5., guix-commits, 2022/10/03
- 06/13: gnu: gappa: Honor TESTS?., guix-commits, 2022/10/03
- 11/13: gnu: ocaml-dose3: Migrate from gforce.inria.fr., guix-commits, 2022/10/03
- 12/13: gnu: r-spams: Update to 2.6.1., guix-commits, 2022/10/03
- 09/13: gnu: mpfi: Update to 1.5.4-1.b982534., guix-commits, 2022/10/03