* [bug#54936] [PATCH] gnu: polyml: Update to 5.9.
@ 2022-04-14 13:47 Foo Chuan Wei
2022-04-19 16:09 ` bug#54936: " Ludovic Courtès
0 siblings, 1 reply; 2+ messages in thread
From: Foo Chuan Wei @ 2022-04-14 13:47 UTC (permalink / raw)
To: 54936
* gnu/packages/sml.scm (polyml): Update to 5.9.
[arguments]<#:configure-flags>: Remove nonexistent options.
---
gnu/packages/sml.scm | 12 +++++-------
1 file 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
base-commit: b0dd06bd0caea46a852248ab48ab2e6aaff57752
--
2.25.1
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#54936: [PATCH] gnu: polyml: Update to 5.9.
2022-04-14 13:47 [bug#54936] [PATCH] gnu: polyml: Update to 5.9 Foo Chuan Wei
@ 2022-04-19 16:09 ` Ludovic Courtès
0 siblings, 0 replies; 2+ messages in thread
From: Ludovic Courtès @ 2022-04-19 16:09 UTC (permalink / raw)
To: 54936-done
Hi,
Foo Chuan Wei <chuanwei.foo@hotmail.com> skribis:
> * gnu/packages/sml.scm (polyml): Update to 5.9.
> [arguments]<#:configure-flags>: Remove nonexistent options.
Pushed, thanks!
Ludo’.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-04-19 16:12 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-14 13:47 [bug#54936] [PATCH] gnu: polyml: Update to 5.9 Foo Chuan Wei
2022-04-19 16:09 ` bug#54936: " Ludovic Courtès
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.