From f03e08699c2d8807885ac0afea5fb6ca7ca58354 Mon Sep 17 00:00:00 2001 From: Foo Chuan Wei Date: Thu, 14 Apr 2022 13:47:10 +0000 Subject: gnu: polyml: Update to 5.9. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/sml.scm (polyml): Update to 5.9. [arguments]<#:configure-flags>: Remove nonexistent options. Signed-off-by: Ludovic Courtès --- gnu/packages/sml.scm | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'gnu/packages/sml.scm') 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 ;;; Copyright © 2018 Ricardo Wurmus ;;; Copyright © 2019, 2020 Brett Gilio -;;; Copyright © 2021 Foo Chuan Wei +;;; Copyright © 2021, 2022 Foo Chuan Wei ;;; ;;; 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 -- cgit v1.2.3 From fe7856b6ed8f197fae0e989927783bd010bc482d Mon Sep 17 00:00:00 2001 From: Foo Chuan Wei Date: Fri, 20 May 2022 04:09:56 +0000 Subject: gnu: smlnj: Use HTTPS home page. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS. Signed-off-by: Ludovic Courtès --- gnu/packages/sml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/sml.scm') diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 04411c02c3..1895d8eeee 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -317,7 +317,7 @@ (define-public smlnj ,(smlnj-file version "asdl.tgz" "0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m")))) - (home-page "http://www.smlnj.org") + (home-page "https://www.smlnj.org") (synopsis "Standard ML of New Jersey interactive compiler") (description "SML/NJ is an implementation of the Standard ML programming language. -- cgit v1.2.3 From 62da327848311a75723f16642c20d2925919237e Mon Sep 17 00:00:00 2001 From: Foo Chuan Wei Date: Wed, 25 May 2022 01:44:59 +0000 Subject: gnu: smlnj: Fix use of Ctrl-c in sml REPL. * gnu/packages/sml.scm (smlnj): Replace INVOKE with SYSTEM which has more favourable signal dispositions. Signed-off-by: Tobias Geerinckx-Rice --- gnu/packages/sml.scm | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) (limited to 'gnu/packages/sml.scm') diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 1895d8eeee..368abf6cfa 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -175,10 +175,22 @@ (define-public smlnj "sml.boot.amd64-unix/SMLNJ-BASIS/.cm/amd64-unix/basis-common.cm")) ;; Build. - (invoke "./config/install.sh" "-default" - (if (string=? "i686-linux" ,(%current-system)) - "32" - "64")) + ;; The `sml` executable built by this package somehow inherits the + ;; signal dispositions of the shell where it was built. If SIGINT + ;; is ignored in the shell, the resulting `sml` will also ignore + ;; SIGINT. This will break the use of Ctrl-c for interrupting + ;; execution in the SML/NJ REPL. + ;; Here, we use Guile's `system` procedure instead of Guix's + ;; `invoke` because `invoke` uses Guile's `system*`, which causes + ;; SIGINT and SIGQUIT to be ignored. + (let ((exit-code + (system (string-append "./config/install.sh -default " + (if (string=? "i686-linux" + ,(%current-system)) + "32" + "64"))))) + (unless (zero? exit-code) + (error (format #f "Exit code: ~a" exit-code)))) ;; Undo the binary patch. (for-each -- cgit v1.2.3