diff options
| author | Foo Chuan Wei <chuanwei.foo@hotmail.com> | 2022-04-14 13:47:10 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-04-19 18:07:49 +0200 |
| commit | f03e08699c2d8807885ac0afea5fb6ca7ca58354 (patch) | |
| tree | c96a00479db96ee93369f4ed86dac5d3cc86910f | |
| parent | 5e0c3479759047311b6a518fd0bc512b232f201a (diff) | |
| download | guix-patches-f03e08699c2d8807885ac0afea5fb6ca7ca58354.tar guix-patches-f03e08699c2d8807885ac0afea5fb6ca7ca58354.tar.gz | |
gnu: polyml: Update to 5.9.
* gnu/packages/sml.scm (polyml): Update to 5.9.
[arguments]<#:configure-flags>: Remove nonexistent options.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/sml.scm | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 1d1ccf6d8c..04411c02c3 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -3,7 +3,7 @@ ;;; Copyright © 2017, 2021 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2019, 2020 Brett Gilio <brettg@gnu.org> -;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo@hotmail.com> +;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@hotmail.com> ;;; ;;; This file is part of GNU Guix. ;;; @@ -35,7 +35,7 @@ (define-public polyml (package (name "polyml") - (version "5.8.2") + (version "5.9") (source (origin (method git-fetch) (uri (git-reference @@ -44,16 +44,14 @@ (file-name (git-file-name name version)) (sha256 (base32 - "1y3i919kzylvhwfsi6adnc0ah0xahl6ncna0g5bcjyhxsq2416rn")))) + "0hhij8y0kvchg9rarzrcr9i0f629s2chbg258b0jscicjv9ghi6w")))) (build-system gnu-build-system) (inputs (list gmp lesstif libffi libx11 libxt)) (arguments '(#:configure-flags - (list "--with-system-libffi=yes" - "--with-x=yes" - "--with-threads=yes" - "--with-gmp=yes") + (list "--with-gmp" + "--with-x") #:phases (modify-phases %standard-phases (add-after 'build 'build-compiler |