diff options
Diffstat (limited to 'gnu/packages/algebra.scm')
| -rw-r--r-- | gnu/packages/algebra.scm | 87 |
1 files changed, 44 insertions, 43 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index a29451f8a2..439b3b2946 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -7,7 +7,7 @@ ;;; Copyright © 2017, 2020, 2021 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2017–2021 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2017 Marius Bakke <mbakke@fastmail.com> -;;; Copyright © 2017, 2019, 2021 Eric Bavier <bavier@posteo.net> +;;; Copyright © 2017, 2019, 2021, 2022 Eric Bavier <bavier@posteo.net> ;;; Copyright © 2019 Mathieu Othacehe <m.othacehe@gmail.com> ;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de> ;;; Copyright © 2020 Jakub Kądziołka <kuba@kadziolka.net> @@ -69,6 +69,7 @@ #:use-module (guix build-system python) #:use-module (guix build-system r) #:use-module (guix download) + #:use-module (guix gexp) #:use-module (guix git-download) #:use-module (guix hg-download) #:use-module ((guix licenses) #:prefix license:) @@ -328,7 +329,7 @@ precision.") (define-public giac (package (name "giac") - (version "1.7.0-47") + (version "1.7.0-51") (source (origin (method url-fetch) @@ -340,42 +341,42 @@ precision.") "~parisse/debian/dists/stable/main/source/" "giac_" version ".tar.gz")) (sha256 - (base32 "1cbc0vm79q9z3ajn4m5sjg9931ah1wq3icj0m16jsxp52km1h7jx")))) + (base32 "0wgqa2nxpv652348fxpchx5zvaj6ssc403jxwsdp5ky9pdpap2zs")))) (build-system gnu-build-system) (arguments - `(#:modules ((ice-9 ftw) + (list + #:modules '((ice-9 ftw) (guix build utils) (guix build gnu-build-system)) - #:phases - (modify-phases %standard-phases - (add-after 'unpack 'patch-bin-cp - ;; Some Makefiles contain hard-coded "/bin/cp". - (lambda _ - (substitute* (cons "micropython-1.12/xcas/Makefile" - (find-files "doc" "^Makefile")) - (("/bin/cp") (which "cp"))))) - (add-after 'unpack 'disable-failing-test - ;; FIXME: Test failing. Not sure why. - (lambda _ - (substitute* "check/Makefile.in" - (("chk_fhan11") "")))) - (add-after 'install 'fix-doc - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - ;; Most French documentation has a non-commercial - ;; license, so we need to remove it. - (with-directory-excursion (string-append out "/share/giac/doc/fr") - (for-each delete-file-recursively - '("cascas" "casexo" "casgeo" "casrouge" "cassim" - "castor"))) - ;; Remove duplicate documentation in - ;; "%out/share/doc/giac/", where Xcas does not expect - ;; to find it. - (delete-file-recursively (string-append out "/share/doc/giac"))))) - (add-after 'install 'remove-unnecessary-executable - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (delete-file (string-append out "/bin/xcasnew")))))))) + #:phases + #~(modify-phases %standard-phases + (add-after 'unpack 'patch-bin-cp + ;; Some Makefiles contain hard-coded "/bin/cp". + (lambda _ + (substitute* (cons "micropython-1.12/xcas/Makefile" + (find-files "doc" "^Makefile")) + (("/bin/cp") (which "cp"))))) + (add-after 'unpack 'disable-failing-test + ;; FIXME: Test failing. Not sure why. + (lambda _ + (substitute* "check/Makefile.in" + (("chk_fhan11") "")))) + (add-after 'install 'fix-doc + (lambda _ + ;; Most French documentation has a non-commercial license, so we + ;; need to remove it. + (with-directory-excursion + (string-append #$output "/share/giac/doc/fr") + (for-each delete-file-recursively + '("cascas" "casexo" "casgeo" "casrouge" "cassim" + "castor"))) + ;; Remove duplicate documentation in "%out/share/doc/giac/", + ;; where Xcas does not expect to find it. + (delete-file-recursively + (string-append #$output "/share/doc/giac")))) + (add-after 'install 'remove-unnecessary-executable + (lambda _ + (delete-file (string-append #$output "/bin/xcasnew"))))))) (inputs ;; TODO: Add libnauty, unbundle "libmicropython.a". (list ao @@ -1139,7 +1140,7 @@ features, and more.") (define-public xtensor (package (name "xtensor") - (version "0.20.10") + (version "0.24.0") (source (origin (method git-fetch) (uri (git-reference @@ -1147,11 +1148,11 @@ features, and more.") (commit version))) (sha256 (base32 - "1fmv2hpx610xwhxrndfsfvlbqfyk4l3gi5q5d7pa9m82kblxjj9l")) + "14fpzwdq26p2fqdrmc78hny9pp09k9c53jnwlh7f8x54ikzm23c2")) (file-name (git-file-name name version)))) (build-system cmake-build-system) (native-inputs - (list googletest xtl)) + (list doctest googletest xtl)) (arguments `(#:configure-flags '("-DBUILD_TESTS=ON") @@ -1181,7 +1182,7 @@ xtensor provides: (add-after 'unpack 'remove-march=native (lambda _ (substitute* "benchmark/CMakeLists.txt" - (("-march=native") "")))) + (("-march=native\"") "\"")))) (add-after 'unpack 'link-with-googlebenchmark (lambda _ (substitute* "benchmark/CMakeLists.txt" @@ -1348,14 +1349,14 @@ objects.") (define-public gappa (package (name "gappa") - (version "1.3.5") + (version "1.4.0") (source (origin (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/latestfile/" - "2699/gappa-" version ".tar.gz")) + (uri (string-append "https://gappa.gitlabpages.inria.fr/releases/" + "gappa-" version ".tar.gz")) (sha256 (base32 - "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w")))) + "12x42z901pr05ldmparqdi8sq9s7fxbavhzk2dbq3l6hy247dwbb")))) (build-system gnu-build-system) (inputs (list boost gmp mpfr)) @@ -1382,7 +1383,7 @@ 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-c)))) ; either/or + (license (list license:gpl3+ license:cecill)))) ; either/or (define-public givaro (package |