bavier pushed a commit to branch master
in repository guix.
commit 6d388103a4ed8f14f1ac6ac7a2ff22c5fa6b8cd4
Author: Eric Bavier <[email protected]>
AuthorDate: Mon Jun 14 21:55:09 2021 -0500
gnu: Add Sollya.
* gnu/packages/algebra.scm (sollya): New variable.
* .mailmap: Adjust "proper email" for `git commit`.
---
.mailmap | 4 ++--
gnu/packages/algebra.scm | 48 +++++++++++++++++++++++++++++++++++++++++++++++-
2 files changed, 49 insertions(+), 3 deletions(-)
diff --git a/.mailmap b/.mailmap
index c18f2e0..6bceaf1 100644
--- a/.mailmap
+++ b/.mailmap
@@ -24,8 +24,8 @@ David Thompson <[email protected]> <[email protected]>
David Thompson <[email protected]> <[email protected]>
David Thompson <[email protected]> <[email protected]>
Deck Pickard <[email protected]> <nebu@kipple>
-Eric Bavier <[email protected]> <[email protected]>
-Eric Bavier <[email protected]> <[email protected]>
+Eric Bavier <[email protected]> <[email protected]>
+Eric Bavier <[email protected]> <[email protected]>
Eric Dvorsak <[email protected]> <[email protected]>
George Clemmer <[email protected]>
ison <[email protected]> <[email protected]>
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index e7938b4..5227d67 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -7,7 +7,7 @@
;;; Copyright © 2017, 2020 Efraim Flashner <[email protected]>
;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2017 Marius Bakke <[email protected]>
-;;; Copyright © 2017, 2019 Eric Bavier <[email protected]>
+;;; Copyright © 2017, 2019, 2021 Eric Bavier <[email protected]>
;;; Copyright © 2019 Mathieu Othacehe <[email protected]>
;;; Copyright © 2020 Björn Höfling <[email protected]>
;;; Copyright © 2020 Jakub Kądziołka <[email protected]>
@@ -59,6 +59,7 @@
#:use-module (gnu packages tex)
#:use-module (gnu packages texinfo)
#:use-module (gnu packages xiph)
+ #:use-module (gnu packages xml)
#:use-module (gnu packages xorg)
#:use-module (guix build-system ant)
#:use-module (guix build-system gnu)
@@ -1607,3 +1608,48 @@ no more than about 20 bits long).")
(@dfn{DCT}), Discrete Sine Transform (@dfn{DST}) and Discrete Hartley Transform
(@dfn{DHT}).")
(license license:gpl2+)))
+
+(define-public sollya
+ (package
+ (name "sollya")
+ (version "7.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://www.sollya.org/releases/";
+ "sollya-" version "/sollya-" version
".tar.bz2"))
+ (sha256
+ (base32
+ "11290ivi9h665cxi8f1shlavhy10vzb8s28m57hrcgnxyxqmhx0m"))))
+ (build-system gnu-build-system)
+ (inputs
+ `(("fplll" ,fplll)
+ ("gmp" ,gmp)
+ ("gnuplot" ,gnuplot)
+ ("libxml2" ,libxml2)
+ ("mpfi" ,mpfi)
+ ("mpfr" ,mpfr)))
+ (arguments
+ `(#:configure-flags
+ (list (string-append "--docdir=${datadir}/doc/sollya-" ,version))
+ #:phases
+ (modify-phases %standard-phases
+ (add-after 'unpack 'patch-test-shebang
+ (lambda _
+ (substitute* (list "tests-tool/Makefile.in"
+ "tests-lib/Makefile.in")
+ (("#!/bin/sh") (string-append "#!" (which "sh"))))
+ #t))
+ (add-before 'build 'patch-gnuplot-reference
+ (lambda _
+ (substitute* "general.c"
+ (("\"gnuplot\"") (string-append "\"" (which "gnuplot") "\"")))
+ #t)))))
+ (home-page "https://www.sollya.org";)
+ (synopsis "Development environment for safe floating-point code")
+ (description "Sollya is a computer program whose purpose is to
+provide an environment for safe floating-point code development. It
+is particularly targeted to the automated implementation of
+mathematical floating-point libraries (libm). Amongst other features,
+it offers a certified infinity norm, an automatic polynomial
+implementer, and a fast Remez algorithm.")
+ (license license:cecill-c)))
