GNU bug report logs - #54936
[PATCH] gnu: polyml: Update to 5.9.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Foo Chuan Wei <chuanwei.foo <at> hotmail.com>
Subject: bug#54936: closed (Re: bug#54936: [PATCH] gnu: polyml: Update to
 5.9.)
Date: Tue, 19 Apr 2022 16:10:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#54936: [PATCH] gnu: polyml: Update to 5.9.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 54936 <at> debbugs.gnu.org.

-- 
54936: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=54936
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: 54936-done <at> debbugs.gnu.org
Subject: Re: bug#54936: [PATCH] gnu: polyml: Update to 5.9.
Date: Tue, 19 Apr 2022 18:09:08 +0200

Hi,

Foo Chuan Wei <chuanwei.foo <at> hotmail.com> skribis:

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

Pushed, thanks!

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Foo Chuan Wei <chuanwei.foo <at> hotmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: polyml: Update to 5.9.
Date: Thu, 14 Apr 2022 13:47:10 +0000

* 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 <at> tobias.gr>
 ;;; Copyright © 2018 Ricardo Wurmus <rekado <at> elephly.net>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg <at> gnu.org>
-;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo <at> hotmail.com>
+;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.