ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: polyml: Update to 5.9.

Browse source 
* gnu/packages/sml.scm (polyml): Update to 5.9.
[arguments]<#:configure-flags>: Remove nonexistent options.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Foo Chuan Wei 2022-04-14 13:47:10 +00:00 committed by Ludovic Courtès
parent 5e0c347975
commit f03e08699c
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gnu/packages/sml.scm
View file

@ -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-module (gnu packages sml)
(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 @@ (define-public polyml
(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