GNU logs - #61678, boring messages

Message sent to guix-patches@HIDDEN:

Subject: [bug#61678] [PATCH 0/2] gnu: Add smlsharp.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 21 Feb 2023 13:59:02 +0000
Resent-Message-ID: <handler.61678.B.1676987937572 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Tue, 21 Feb 2023 22:58:41 +0900
Message-Id: <cover.1676987498.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2607:f8b0:4864:20::42e;
 envelope-from=gemmaro.dev@HIDDEN; helo=mail-pf1-x42e.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)

This series of patches adds SML#, an open source functional programming
language compatible with with Standard ML.

gemmaro (2):
  gnu: Add massivethreads.
  gnu: Add smlsharp.

 gnu/packages/parallel.scm | 26 +++++++++++++++++++++
 gnu/packages/sml.scm      | 48 +++++++++++++++++++++++++++++++++++++++
 2 files changed, 74 insertions(+)

base-commit: 73b5c955ae46af2548625fe31afe60193fb83e2a
-- 
2.39.1

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: gemmaro <gemmaro.dev@HIDDEN>
Subject: bug#61678: Acknowledgement ([PATCH 0/2] gnu: Add smlsharp.)
Message-ID: <handler.61678.B.1676987937572.ack <at> debbugs.gnu.org>
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
X-Gnu-PR-Message: ack 61678
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 61678 <at> debbugs.gnu.org
Date: Tue, 21 Feb 2023 13:59:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 61678 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
61678: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D61678
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to guix-patches@HIDDEN:

Subject: [bug#61678] [PATCH 1/2] gnu: Add massivethreads.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 21 Feb 2023 14:35:01 +0000
Resent-Message-ID: <handler.61678.B61678.16769900474604 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Tue, 21 Feb 2023 23:33:39 +0900
Message-Id: <4c32ecc03c10258f4973efc2792bc28402530436.1676987498.git.gemmaro.dev@HIDDEN>
In-Reply-To: <cover.1676987498.git.gemmaro.dev@HIDDEN>
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

* gnu/packages/parallel.scm (massivethreads): New variable.
---
 gnu/packages/parallel.scm | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/gnu/packages/parallel.scm b/gnu/packages/parallel.scm
index e2a6cfb668..a26d23d542 100644
--- a/gnu/packages/parallel.scm
+++ b/gnu/packages/parallel.scm
@@ -12,6 +12,7 @@
 ;;; Copyright © 2019-2022 Ludovic Courtès <ludo@HIDDEN>
 ;;; Copyright © 2020 Roel Janssen <roel@HIDDEN>
 ;;; Copyright © 2021 Stefan Reichör <stefan@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -513,3 +514,28 @@ (define-public psimd
        "This header-only C++ library provides a portable interface to
 single-instruction multiple-data (SIMD) intrinsics.")
       (license license:expat))))
+
+(define-public massivethreads
+  (package
+    (name "massivethreads")
+    (version "1.00")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url
+                     "https://www.eidos.ic.i.u-tokyo.ac.jp/research/massivethreads/")
+                    (commit "v1.00")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0d93xf2zknq92wlcm7xc7zbja2fh3qyl543xx2qc64k3rslmf8yh"))))
+    (build-system gnu-build-system)
+    (home-page "https://github.com/massivethreads/massivethreads")
+    (synopsis "Lightweight thread library for high productivity languages")
+    (description
+     "A thread library that can spawn threads two orders of magnitude faster
+than native operating system threads.  Based on this technology, we are
+working on high-level parallel programming languages that target a
+range of machines from multi-core computers to massively parallel
+processors.")
+    (license license:bsd-2)))
-- 
2.39.1

Message sent to guix-patches@HIDDEN:

Subject: [bug#61678] [PATCH 2/2] gnu: Add smlsharp.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 21 Feb 2023 14:35:01 +0000
Resent-Message-ID: <handler.61678.B61678.16769900544622 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Tue, 21 Feb 2023 23:33:40 +0900
Message-Id: <475d6cad530869442d8a7372a3d29ddf2cc38eb1.1676987498.git.gemmaro.dev@HIDDEN>
In-Reply-To: <cover.1676987498.git.gemmaro.dev@HIDDEN>
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

* gnu/packages/sml.scm (smlsharp): New variable.
---
 gnu/packages/sml.scm | 48 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 368abf6cfa..5509667e03 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -4,6 +4,7 @@
 ;;; Copyright © 2018 Ricardo Wurmus <rekado@HIDDEN>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg@HIDDEN>
 ;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -21,9 +22,13 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
 (define-module (gnu packages sml)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages bash)
   #:use-module (gnu packages lesstif)
   #:use-module (gnu packages libffi)
+  #:use-module (gnu packages llvm)
   #:use-module (gnu packages multiprecision)
+  #:use-module (gnu packages parallel)
   #:use-module (gnu packages xorg)
   #:use-module (guix build-system gnu)
   #:use-module (guix download)
@@ -340,3 +345,46 @@ (define-public smlnj
     (license (license:fsf-free
                "https://www.smlnj.org/license.html"
                "https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
+
+(define-public smlsharp
+  (package
+    (name "smlsharp")
+    (version "4.0.0")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://github.com/smlsharp/smlsharp/releases/download/v"
+                    version "/smlsharp-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1nv567na798qysyw7bc8aaz0v51f239z0s3w37nzqz4z6qgzni0b"))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:parallel-build? #t
+       #:parallel-tests? #t
+       #:test-target "test"
+       #:phases (modify-phases %standard-phases
+                  ;; NOTE: Needed for running SML# executables
+                  (add-after 'install 'wrap-programs
+                    (lambda* (#:key inputs outputs #:allow-other-keys)
+                      (let ((out (assoc-ref outputs "out"))
+                            (libs (map (lambda (name)
+                                         (string-append (assoc-ref inputs name)
+                                                        "/lib"))
+                                       '("gmp" "massivethreads" "glibc"))))
+                        (with-directory-excursion (string-append out "/bin")
+                          (for-each (lambda (file)
+                                      (wrap-program (basename file)
+                                                    `("LIBRARY_PATH" prefix
+                                                      ,libs)) #t)
+                                    (find-files ".")))))))))
+    (inputs (list llvm-11 gmp massivethreads glibc bash-minimal))
+    (home-page "https://smlsharp.github.io/en/")
+    (synopsis
+     "Open source functional programming language compatible with with Standard ML")
+    (description
+     "SML# is an open source functional programming language and have been developed
+by the SML# Delelopment Team.  While maintaining compatibility with Standard ML, it
+provides practically important features such as interoperability with C and
+databases.")
+    (license license:expat)))
-- 
2.39.1

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v2 1/2] gnu: Add massivethreads.
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
In-Reply-To: <cover.1676987498.git.gemmaro.dev@HIDDEN>
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 29 Jun 2023 16:11:02 +0000
Resent-Message-ID: <handler.61678.B61678.168805502628433 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.168805502628433
          (code B ref 61678); Thu, 29 Jun 2023 16:11:02 +0000
Received: (at 61678) by debbugs.gnu.org; 29 Jun 2023 16:10:26 +0000
Received: from localhost ([127.0.0.1]:53905 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qEuDy-0007OX-3H
	for submit <at> debbugs.gnu.org; Thu, 29 Jun 2023 12:10:26 -0400
Received: from mail-pl1-f169.google.com ([209.85.214.169]:48423)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1qEuDv-0007OD-JY
 for 61678 <at> debbugs.gnu.org; Thu, 29 Jun 2023 12:10:25 -0400
Received: by mail-pl1-f169.google.com with SMTP id
 d9443c01a7336-1b8054180acso7040895ad.1
 for <61678 <at> debbugs.gnu.org>; Thu, 29 Jun 2023 09:10:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20221208; t=1688055017; x=1690647017;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:from:to:cc:subject:date:message-id:reply-to;
 bh=OO6TD57vvLLYF0QwAT1n8lNP+2mNYpy9P2GGhpL01nA=;
 b=QNgNZxIXUWGwzcUGHlqAXFeb3r+tikAi3aIn9lPf9ch4e4KaKh7XuN4DxHYtH30riP
 iYeXKvg0PNUouDmQkw72Axq0oc54oo47Ocgc21cy0Ms5UX06WMrgVzixhl5+OVhPUF2c
 3hg1XfnCutWw9gfi6mvXDTRdifenKyC7LKjBAvytq2ThSkUCG1E/d/S6EgY/84Pse8g8
 b43lUsKeXb9eUChD8HxZp0iZdD58R8/B6KG8A1BqEvhMP1G8nmdXL7pnFj8otiOJQxJX
 7dOuQvUrfWnrkuSelyevWD0aEX7HRIkLknsw3QKlpNG8sei1pTi3LIcXqy0UahfMFOVi
 ckfg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20221208; t=1688055017; x=1690647017;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=OO6TD57vvLLYF0QwAT1n8lNP+2mNYpy9P2GGhpL01nA=;
 b=lLLUSWtHPIXmjeyN+XL4iRCx+9SMKr8CPBrt0EMJRBPgEURmTAWI1QOjzvix3yHjeh
 IMTMpy3xWCA+nVlWC3GbLJ2uCMYLtDqbbrIQKu8LfCcw6d/jBUU+FMsDglxf7PuZDk9S
 3HrUTIpRHfRDzZHNtrEqi/WoJagu2Pp/imnUjdyn+vFpEP0AgZ/Hf+AvJ8dFgy3cSE1Y
 Cu4EEYc5MfLrrXxEpqKkeS+KpsoO/Uen9lOi5ZbRNXSRMY9PzTObHjJxfADb7gyx8scX
 OFNbWo2X4ALPcvOPHzIy2NKSVAQ+4M8DhGm9FPgMXtbLJRpOeHugPmb0gAqjs24iHk2j
 04/A==
X-Gm-Message-State: AC+VfDzaR7e25SjpikvkYu1LwHM7m3QVmJj5eiP95cKCgV+jdYuYAJK9
 COESfPfbaQ0U3fmxXH7zRIOfQ0wfJ+j0qg==
X-Google-Smtp-Source: ACHHUZ7K3kBCCzqjzqYWmz262jQ89xbfmPR2mQFgZcACZcrw/fkrEa70bhtsq50Z9pL6hcSmC48bhA==
X-Received: by 2002:a17:902:ce8a:b0:1b8:d4c:725 with SMTP id
 f10-20020a170902ce8a00b001b80d4c0725mr12673778plg.15.1688055017408; 
 Thu, 29 Jun 2023 09:10:17 -0700 (PDT)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
 by smtp.gmail.com with ESMTPSA id
 iw4-20020a170903044400b001b80104446fsm7192480plb.20.2023.06.29.09.10.16
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Thu, 29 Jun 2023 09:10:16 -0700 (PDT)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Fri, 30 Jun 2023 01:07:34 +0900
Message-Id: <078f906404a1961b04d246f922c8d21f70e5fc55.1688054848.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.40.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/parallel.scm (massivethreads): New variable.
---
 gnu/packages/parallel.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/parallel.scm b/gnu/packages/parallel.scm
index 569e98430c7..da5dd6a0b94 100644
--- a/gnu/packages/parallel.scm
+++ b/gnu/packages/parallel.scm
@@ -12,6 +12,7 @@
 ;;; Copyright © 2019-2022 Ludovic Courtès <ludo@HIDDEN>
 ;;; Copyright © 2020 Roel Janssen <roel@HIDDEN>
 ;;; Copyright © 2021 Stefan Reichör <stefan@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -48,6 +49,7 @@ (define-module (gnu packages parallel)
   #:use-module (gnu packages documentation)
   #:use-module (gnu packages flex)
   #:use-module (gnu packages freeipmi)
+  #:use-module (gnu packages gcc)
   #:use-module (gnu packages linux)
   #:use-module (gnu packages maths)
   #:use-module (gnu packages mpi)
@@ -552,3 +554,29 @@ (define-public psimd
        "This header-only C++ library provides a portable interface to
 single-instruction multiple-data (SIMD) intrinsics.")
       (license license:expat))))
+
+(define-public massivethreads
+  (package
+    (name "massivethreads")
+    (version "1.00")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/massivethreads/massivethreads")
+                    (commit "v1.00")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0d93xf2zknq92wlcm7xc7zbja2fh3qyl543xx2qc64k3rslmf8yh"))))
+    (build-system gnu-build-system)
+    ;; Cannot built with glibc 2.34 or later.
+    ;; https://github.com/massivethreads/massivethreads/pull/15
+    (inputs (list glibc-2.33 gcc-10))
+    (home-page "https://www.eidos.ic.i.u-tokyo.ac.jp/research/massivethreads/")
+    (synopsis "Lightweight thread library for high productivity languages")
+    (description
+     "A thread library that can spawn threads two orders of magnitude faster
+than native operating system threads.  Based on this technology, we are
+working on high-level parallel programming languages that target a range of
+machines from multi-core computers to massively parallel processors.")
+    (license license:bsd-2)))

base-commit: 2b25bc03a11e1c6a473bbb000c35e94233120346
-- 
2.40.1

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v2 2/2] gnu: Add smlsharp.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 29 Jun 2023 16:13:02 +0000
Resent-Message-ID: <handler.61678.B61678.168805514328623 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.168805514328623
          (code B ref 61678); Thu, 29 Jun 2023 16:13:02 +0000
Received: (at 61678) by debbugs.gnu.org; 29 Jun 2023 16:12:23 +0000
Received: from localhost ([127.0.0.1]:53909 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qEuFq-0007Rb-Lb
	for submit <at> debbugs.gnu.org; Thu, 29 Jun 2023 12:12:23 -0400
Received: from mail-pl1-f175.google.com ([209.85.214.175]:45101)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1qEuFn-0007RK-HH
 for 61678 <at> debbugs.gnu.org; Thu, 29 Jun 2023 12:12:21 -0400
Received: by mail-pl1-f175.google.com with SMTP id
 d9443c01a7336-1b7dd061e9aso5760875ad.2
 for <61678 <at> debbugs.gnu.org>; Thu, 29 Jun 2023 09:12:19 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20221208; t=1688055134; x=1690647134;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:from:to:cc:subject:date
 :message-id:reply-to;
 bh=NwBl7Cfj5mYdUYdCva0sBaFOUxfKRFqFIMsKOm2tOQ0=;
 b=oaLcxEn68tFsuF+NMlI3vcP45/lGuZ+vLyTj30X4LO1XLXnQb7ZGpP2v4nLt2vfMOI
 AXFbst284IkQehWFOQ4WHK30ct+E/+RtMsFZbr6wS3y1jNICFI4KZODL3M7GfUua8ha7
 suELLqMWuCNhejzWxuQ+wC3SpM3C4/vjZix5jwwJjVwqQcgn6zwhdD89HaaC6A1dDuTk
 rK+vF/hBAvq1ASRsfuo6Rq4I+HNCwlJPX9SlGndE2wpXqYQvOvk8pbBCmspPCdEjXaCO
 Q5F59DEIrr4Ujee2Y9BFL+594EX/GMx/Yv7BAtQUVP6WHDxjs2EuaOWAxAbvLrX9FQ0N
 DHwA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20221208; t=1688055134; x=1690647134;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=NwBl7Cfj5mYdUYdCva0sBaFOUxfKRFqFIMsKOm2tOQ0=;
 b=MjlurPUNSDL+N8S1wKXcfKZeE56uPwgjAk8mwHiub2h4P484jH0gniBe23Yx0tXFCS
 O9SfxpvtbEoCMnA3O3xDLHVuvb05tL4uLqUa0xs6gbcvmrmRy1MmmEpQmvrdslsNbxeu
 GugrkEg8fnzz+coaxxoLZKZvbWuqVbp0vxgm1UiE1jkcfPftJMUe21dCScFR2tQfX47z
 Uzebw+vCI/Ai+DDRYyGViCyIsjDxt3dsRAZdAelrD8JrjEzfvBYAQ8B6FFLvTeWLuvZP
 Dn7abGyzVl/sBcG+FK42APtH4Rixa98uwfz+LZwvLSLpv2ZwfE8wauamOxKV1FT+svHQ
 xClQ==
X-Gm-Message-State: AC+VfDwLRy3T72SYsUn2AeWHOc9/3k650MKBu7pRVFAH9RWK5mAa4snt
 Ig20nSF+kgineAFVxCugih3zqzFfHVpSAg==
X-Google-Smtp-Source: ACHHUZ53y/3nwZfTKryAYzDTM1cYzODrU3thStaAXqpJqhHXz7VB49CKrYIokPaBqeDrgsGqtZ/kYw==
X-Received: by 2002:a17:903:22c9:b0:1b8:1e05:ed09 with SMTP id
 y9-20020a17090322c900b001b81e05ed09mr8600144plg.36.1688055133655; 
 Thu, 29 Jun 2023 09:12:13 -0700 (PDT)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
 by smtp.gmail.com with ESMTPSA id
 iw4-20020a170903044400b001b80104446fsm7192480plb.20.2023.06.29.09.12.12
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Thu, 29 Jun 2023 09:12:13 -0700 (PDT)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Fri, 30 Jun 2023 01:07:36 +0900
Message-Id: <d875feffbbc59948b4c0fd9cfc0aef5331e0fae9.1688054848.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.40.1
In-Reply-To: <078f906404a1961b04d246f922c8d21f70e5fc55.1688054848.git.gemmaro.dev@HIDDEN>
References: <078f906404a1961b04d246f922c8d21f70e5fc55.1688054848.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/sml.scm (smlsharp): New variable.
---
 gnu/packages/sml.scm | 52 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 368abf6cfa9..12c2d89d486 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -4,6 +4,7 @@
 ;;; Copyright © 2018 Ricardo Wurmus <rekado@HIDDEN>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg@HIDDEN>
 ;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -21,12 +22,17 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
 (define-module (gnu packages sml)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages bash)
   #:use-module (gnu packages lesstif)
   #:use-module (gnu packages libffi)
+  #:use-module (gnu packages llvm)
   #:use-module (gnu packages multiprecision)
+  #:use-module (gnu packages parallel)
   #:use-module (gnu packages xorg)
   #:use-module (guix build-system gnu)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module ((guix licenses) #:prefix license:)
   #:use-module (guix packages)
@@ -340,3 +346,49 @@ (define-public smlnj
     (license (license:fsf-free
                "https://www.smlnj.org/license.html"
                "https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
+
+(define-public smlsharp
+  (package
+    (name "smlsharp")
+    (version "4.0.0")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "https://github.com/smlsharp/smlsharp/releases/download/v"
+                    version "/smlsharp-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1nv567na798qysyw7bc8aaz0v51f239z0s3w37nzqz4z6qgzni0b"))))
+    (build-system gnu-build-system)
+    (arguments
+     (list #:parallel-build? #t
+           #:parallel-tests? #t
+           #:test-target "test"
+           #:phases #~(modify-phases %standard-phases
+                        ;; NOTE: Needed for running SML# executables
+                        (add-after 'install 'wrap-programs
+                          (lambda* (#:key inputs outputs #:allow-other-keys)
+                            (let ((out (assoc-ref outputs "out"))
+                                  (libs (map (lambda (name)
+                                               (string-append (assoc-ref
+                                                               inputs name)
+                                                              "/lib"))
+                                             '("gmp" "massivethreads" "glibc"))))
+                              (with-directory-excursion (string-append out
+                                                                       "/bin")
+                                (for-each (lambda (file)
+                                            (wrap-program (basename file)
+                                              `("LIBRARY_PATH" prefix
+                                                ,libs)) #t)
+                                          (find-files ".")))))))))
+    (inputs (list llvm-11 gmp massivethreads glibc bash-minimal))
+    (home-page "https://smlsharp.github.io/en/")
+    (synopsis
+     "Open source functional programming language compatible with with
+Standard ML")
+    (description
+     "SML# is an open source functional programming language and have been
+developed by the SML# Delelopment Team.  While maintaining compatibility with
+Standard ML, it provides practically important features such as
+interoperability with C and databases.")
+    (license license:expat)))
-- 
2.40.1

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v3 1/2] gnu: Add massivethreads.
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
In-Reply-To: <cover.1676987498.git.gemmaro.dev@HIDDEN>
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 01 Jul 2023 13:54:02 +0000
Resent-Message-ID: <handler.61678.B61678.16882196149983 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.16882196149983
          (code B ref 61678); Sat, 01 Jul 2023 13:54:02 +0000
Received: (at 61678) by debbugs.gnu.org; 1 Jul 2023 13:53:34 +0000
Received: from localhost ([127.0.0.1]:56989 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qFb2c-0002aw-Ge
	for submit <at> debbugs.gnu.org; Sat, 01 Jul 2023 09:53:34 -0400
Received: from mail-pj1-f45.google.com ([209.85.216.45]:55791)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1qFb2a-0002al-1u
 for 61678 <at> debbugs.gnu.org; Sat, 01 Jul 2023 09:53:33 -0400
Received: by mail-pj1-f45.google.com with SMTP id
 98e67ed59e1d1-262dc1ced40so1951809a91.3
 for <61678 <at> debbugs.gnu.org>; Sat, 01 Jul 2023 06:53:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20221208; t=1688219606; x=1690811606;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:from:to:cc:subject:date:message-id:reply-to;
 bh=xbSJL6H8otdImC9XUYMFpEwdRW4is/PRSpyYqy2EJMQ=;
 b=U5D2Rci6LtFCh9sxayzg8o3Ww9NWuzsocwVoW2vkgw3+PfWXzQk2UGyxxMuMSWF0tR
 m81rFkEsIRu4udKAeUM4nVwNVfeHvtNO0iSgWkXqARf4ZVgPCDB+i9/379s07gNcTrbl
 SxRh8DH4auE7hYKibd1VE2gdN8Bch31deFJBu2T+Ql/8nXSs55dVgu5cNT3sBZIpv7Rp
 z2VjmtBGe/gRDNegHexqSrAMbIXTaj7OYskJyU9bxm5L8XFQ7Gv1/mjlvdv+CxgkfOB/
 4ccIBxqcU/V45N0ieoDeUI4iY8i0O76fZtAQZBaaNodRnUuDY/I0FEdk7fG2T2NpoOWM
 2OrA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20221208; t=1688219606; x=1690811606;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=xbSJL6H8otdImC9XUYMFpEwdRW4is/PRSpyYqy2EJMQ=;
 b=kwriTJOgBh4l5Chn9nC4H/d+8gmHVZUQMfwBTCSGbddXIybD3y4l3B63fGx+wMd/FR
 m1wyN421zCwUcWuVtZ9K4js2g+OpRyYMlPAd3i706YmierWPrBMaJAP0yZ+et1EX3iy1
 DUBSlWWunazd5BSsJL/q4NDBrVmBzUbaM8zFDl4vEd4R5jHIBGAFeIxouFhRGOBvH7mz
 UPkhL7RBTkZzeqjkYaiJ/sPLU+IVVEg2NTgnvG45fc7RJl+as2RNRjm6c1kSZU7c6WPC
 bgwnLP16MJlNoUXkArKV6vOQ3dd/T2x+I6CX4b67/91J5cNUQNLJCZWdVPF9vrNm2vfb
 e8zQ==
X-Gm-Message-State: ABy/qLbd2gsiao4jCV8vv7JRDGBkjMiYRfHs+fmXvKgUqA/ZIHrKIHjd
 CJwYDUDDHzpRAWLk7ybp+esxuI1CQgk=
X-Google-Smtp-Source: APBJJlFwIIFJo8TRsTeiFHxa+1q88ccHtoMFtp/Kc3+VpW6MEAcye/4DIUh0qg7K88ZUwV2XTgAyew==
X-Received: by 2002:a17:90a:19ca:b0:25e:f6bf:badb with SMTP id
 10-20020a17090a19ca00b0025ef6bfbadbmr5175239pjj.4.1688219605999; 
 Sat, 01 Jul 2023 06:53:25 -0700 (PDT)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
 by smtp.gmail.com with ESMTPSA id
 c3-20020a17090a490300b0026307fa0442sm9083540pjh.49.2023.07.01.06.53.24
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Sat, 01 Jul 2023 06:53:25 -0700 (PDT)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Sat,  1 Jul 2023 22:49:04 +0900
Message-Id: <cb33dd735b858eacc1541cc6475332afc7303303.1688219342.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.40.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/parallel.scm (massivethreads): New variable.
---
 gnu/packages/parallel.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/parallel.scm b/gnu/packages/parallel.scm
index 569e98430c..a5c297b04a 100644
--- a/gnu/packages/parallel.scm
+++ b/gnu/packages/parallel.scm
@@ -12,6 +12,7 @@
 ;;; Copyright © 2019-2022 Ludovic Courtès <ludo@HIDDEN>
 ;;; Copyright © 2020 Roel Janssen <roel@HIDDEN>
 ;;; Copyright © 2021 Stefan Reichör <stefan@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -48,6 +49,7 @@ (define-module (gnu packages parallel)
   #:use-module (gnu packages documentation)
   #:use-module (gnu packages flex)
   #:use-module (gnu packages freeipmi)
+  #:use-module (gnu packages gcc)
   #:use-module (gnu packages linux)
   #:use-module (gnu packages maths)
   #:use-module (gnu packages mpi)
@@ -552,3 +554,29 @@ (define-public psimd
        "This header-only C++ library provides a portable interface to
 single-instruction multiple-data (SIMD) intrinsics.")
       (license license:expat))))
+
+(define-public massivethreads
+  (package
+    (name "massivethreads")
+    (version "1.00")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/massivethreads/massivethreads")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0d93xf2zknq92wlcm7xc7zbja2fh3qyl543xx2qc64k3rslmf8yh"))))
+    (build-system gnu-build-system)
+    ;; Cannot built with glibc 2.34 or later.
+    ;; https://github.com/massivethreads/massivethreads/pull/15
+    (inputs (list glibc-2.33 gcc-10))
+    (home-page "https://www.eidos.ic.i.u-tokyo.ac.jp/research/massivethreads/")
+    (synopsis "Lightweight thread library")
+    (description
+     "MassiveThreads is a thread library that can spawn threads two orders of
+magnitude faster than native operating system threads.  It provides three APIs
+to use: native intefrace, pthread-compatible interface, and TBB-like
+interface.")
+    (license license:bsd-2)))

base-commit: 889e1dbae3b0d4ac2300b524b3dd6b8f0499ff5e
-- 
2.40.1

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v3 2/2] gnu: Add smlsharp.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 01 Jul 2023 13:56:02 +0000
Resent-Message-ID: <handler.61678.B61678.168821972310467 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.168821972310467
          (code B ref 61678); Sat, 01 Jul 2023 13:56:02 +0000
Received: (at 61678) by debbugs.gnu.org; 1 Jul 2023 13:55:23 +0000
Received: from localhost ([127.0.0.1]:57287 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qFb4N-0002iI-0W
	for submit <at> debbugs.gnu.org; Sat, 01 Jul 2023 09:55:23 -0400
Received: from mail-pl1-f181.google.com ([209.85.214.181]:57377)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1qFb4I-0002eA-P6
 for 61678 <at> debbugs.gnu.org; Sat, 01 Jul 2023 09:55:21 -0400
Received: by mail-pl1-f181.google.com with SMTP id
 d9443c01a7336-1b7f92b764dso14338395ad.2
 for <61678 <at> debbugs.gnu.org>; Sat, 01 Jul 2023 06:55:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20221208; t=1688219712; x=1690811712;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:from:to:cc:subject:date
 :message-id:reply-to;
 bh=tCM9p58Lh6a8FWs7F3bXabOcoUeubb2UsOT8xfBvJ5I=;
 b=eGbA3IFnWn1Hp3faG1Kb4DzhCmvOmxK2PIRtBrtyT95ENHhCa5ckZMs+YAJAqHy9W6
 WjIGLCzFQA8AXsolskWgC8RSeO2RhXVQH/jFWyam6fmjBJFznKdRzP52BKbp8W2JKgz4
 AxdUTpeW6n80RTcpi5703cKC/h5Z7aeOEi+VTVnfE3pCdSVnUNpaTB03iiOIKruDa/ft
 IGekedhBJVRBoEd6lhxD4xoTURlefnV2/VgNX/YQ+PKA1Wr3SIgvE+GAiJEjPItUgsCh
 yxa6YtXN42L1BPlg6s/wseWOfHXmO/xYnUvors0CRcwHfdxMBK2WX6l8m62CZvtHjgUh
 b/oQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20221208; t=1688219712; x=1690811712;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=tCM9p58Lh6a8FWs7F3bXabOcoUeubb2UsOT8xfBvJ5I=;
 b=YA46eiypJ/Be9LQ6fXSSDp0ebKXrK8XJvbGMux68UlH3oVxzVfkX+omEPswZTS0xcC
 MoumJc4H1n5NmO9Gwb2AIs5aZW8k3mvII50TllO7/Q1AaYBr1Wk/AyZpUddGd3TkyONe
 SljDGp3uknMGugaQIfvF+TEQpmmfnTCEiRPIfQo+1da1AHyW2+27fKl0UrBfWB6EsoTN
 V3KDDRIpQbYX4EnHapgja6iBFwnyDxJY8DEAD+bfN73etXQ/o9OZztuP8t8neTIZIm/H
 0IHaU6BpYFWfNjRSKmFSYH2rFuoMRMXyEW78pclnfmrcR7n1M+WTHEIswcBXn4AZdrGV
 Uoqw==
X-Gm-Message-State: ABy/qLawvcp/QH29qdGYsPmNH2LLtf1Gm9szPpa2klFNybNfCBuzeLZP
 s6dYAOGhnT2C3YjM+ZXaNOhHdqJy4v4=
X-Google-Smtp-Source: APBJJlGHxm4KEL8FpJN3IGKGnsNfAH5JRFQhev3+LBCjlDacYsS7uV4mT7V8+VcRhZOM6f/dhoWtrw==
X-Received: by 2002:a17:90b:14e:b0:25e:d013:c22c with SMTP id
 em14-20020a17090b014e00b0025ed013c22cmr3532421pjb.47.1688219712470; 
 Sat, 01 Jul 2023 06:55:12 -0700 (PDT)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
 by smtp.gmail.com with ESMTPSA id
 c3-20020a17090a490300b0026307fa0442sm9083540pjh.49.2023.07.01.06.55.11
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Sat, 01 Jul 2023 06:55:12 -0700 (PDT)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Sat,  1 Jul 2023 22:49:06 +0900
Message-Id: <eeb344e9d4092116ece0ed4a57d5fac3a1cb96b5.1688219342.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.40.1
In-Reply-To: <cb33dd735b858eacc1541cc6475332afc7303303.1688219342.git.gemmaro.dev@HIDDEN>
References: <cb33dd735b858eacc1541cc6475332afc7303303.1688219342.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/sml.scm (smlsharp): New variable.
---
 gnu/packages/sml.scm | 57 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 368abf6cfa..81fa20e7ce 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -4,6 +4,7 @@
 ;;; Copyright © 2018 Ricardo Wurmus <rekado@HIDDEN>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg@HIDDEN>
 ;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@HIDDEN>
+;;; Copyright © 2023 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -21,12 +22,17 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
 (define-module (gnu packages sml)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages bash)
   #:use-module (gnu packages lesstif)
   #:use-module (gnu packages libffi)
+  #:use-module (gnu packages llvm)
   #:use-module (gnu packages multiprecision)
+  #:use-module (gnu packages parallel)
   #:use-module (gnu packages xorg)
   #:use-module (guix build-system gnu)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module ((guix licenses) #:prefix license:)
   #:use-module (guix packages)
@@ -340,3 +346,54 @@ (define-public smlnj
     (license (license:fsf-free
                "https://www.smlnj.org/license.html"
                "https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
+
+(define-public smlsharp
+  (package
+    (name "smlsharp")
+    (version "4.0.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/smlsharp/smlsharp")
+                    (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "0cwpp4azkr79vf3c0w3g3zxv1rdcbi4gs7kp80b7aa1b5cqv04bj"))))
+    (build-system gnu-build-system)
+    (arguments
+     (list #:parallel-build? #t
+           #:parallel-tests? #t
+           #:test-target "test"
+           #:phases #~(modify-phases %standard-phases
+                        ;; NOTE: Needed for running SML# executables
+                        (add-after 'install 'wrap-programs
+                          (lambda* (#:key inputs outputs #:allow-other-keys)
+                            (let ((out (assoc-ref outputs "out"))
+                                  (libs (map (lambda (name)
+                                               (string-append (assoc-ref
+                                                               inputs name)
+                                                              "/lib"))
+                                             '("gmp" "massivethreads" "glibc"))))
+                              (with-directory-excursion (string-append out
+                                                                       "/bin")
+                                (for-each (lambda (file)
+                                            (wrap-program (basename file)
+                                              `("LIBRARY_PATH" prefix
+                                                ,libs)) #t)
+                                          (find-files ".")))))))))
+    (inputs (list llvm-11 gmp massivethreads glibc bash-minimal))
+    (home-page "https://smlsharp.github.io/en/")
+    (synopsis
+     "New language in the Standard ML family")
+    (description
+     "SML# is a new generation of the Standard ML family.  The main features
+of SML# include the following:
+@itemize
+@item record polymorphism
+@item integration with SQL
+@item interoperability with C
+@item separate compilation and linking
+@item multithread support
+@end itemize")
+    (license license:expat)))
-- 
2.40.1

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v4 1/2] gnu: Add massivethreads.
References: <cover.1676987498.git.gemmaro.dev@HIDDEN>
In-Reply-To: <cover.1676987498.git.gemmaro.dev@HIDDEN>
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 01 Jan 2024 10:59:02 +0000
Resent-Message-ID: <handler.61678.B61678.170410670219333 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.170410670219333
          (code B ref 61678); Mon, 01 Jan 2024 10:59:02 +0000
Received: (at 61678) by debbugs.gnu.org; 1 Jan 2024 10:58:22 +0000
Received: from localhost ([127.0.0.1]:47363 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rKFzx-00051k-LV
	for submit <at> debbugs.gnu.org; Mon, 01 Jan 2024 05:58:22 -0500
Received: from mail-pj1-x102c.google.com ([2607:f8b0:4864:20::102c]:48636)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1rKFzu-00051O-Rx
 for 61678 <at> debbugs.gnu.org; Mon, 01 Jan 2024 05:58:20 -0500
Received: by mail-pj1-x102c.google.com with SMTP id
 98e67ed59e1d1-28b400f08a4so6640481a91.1
 for <61678 <at> debbugs.gnu.org>; Mon, 01 Jan 2024 02:58:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1704106691; x=1704711491; darn=debbugs.gnu.org;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:from:to:cc:subject:date:message-id:reply-to;
 bh=1DyXhMKUq6mRr/jfj0bs1165tiViWh3NcU+LP1diWv8=;
 b=iljSTNWuGRLfCgHH7iLSRicARXKd6gpr6NwBIHw4tI7Ufvia8zRjJgR7Xz16OG0Bft
 Mbp6FAxlymRTb9yaiEZe3oR7BByLqTzp9w8BHkzx0E607xgY+LmGdJ5a8nB+9HH6AsHx
 MV5bZK1kpOXNQN4tIg5BPHa0nBJMsLWjgoTxnzDgxtFQQeicEEbxGh1agjMZYBOLb+74
 syqrFIYyXvOwhHuq88xUDs8hxk7uKrEutfsXRhpknEA4WYvBGFcbKbxstA9PA/Q/X7O1
 RgSl7fnicqGBbLFMEUcH4AXFLzEpotENKnK7L3dEQdB85AsiT/ITJgfPpFsvzcgg0YRv
 rWUQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1704106691; x=1704711491;
 h=content-transfer-encoding:mime-version:message-id:date:subject:cc
 :to:from:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=1DyXhMKUq6mRr/jfj0bs1165tiViWh3NcU+LP1diWv8=;
 b=kx3b1aXXAw642O3jwnkwAnG6HbAdUgFrdvh1uHkkEw2nZxqJbDvfTR04XVKqtoIE5s
 J9vOKtkHffqYWkSlkMQvnaJGt9cgUzA7Y7eNquDNgk54HoLADw/3YWEoa40CgGL2PFmo
 JOPLvw7QMI0GXdSK/ZvN40osJevs7r9UdpT8YXZ+lB6cFLD/h+CWPnRhRqnVhzAMBKMy
 jUPyMPUefXegbQXnmsddAQW5sd84J4RkSrsUAG3yMhDSfGW7mMVzlz9HqkmVO9I/ruvm
 L9O1yXS8/EwLUSnpnw8pRWFSRebMe5XyarLUT/53ZT5ecbHEuhuDXg4B15RAswhZzMUL
 6doQ==
X-Gm-Message-State: AOJu0Ywaoe06iH2J22gaKAYhCGMaBtjvjr4cdjgiJfZGkLlntoxF/ub/
 UuFYD13GcEucWYb1Hj6wIGv7CA8yIuxdnA==
X-Google-Smtp-Source: AGHT+IHDfWtQqH7iNECacKLpUxC0ahvCXstMuLbs6LxjIqRIQj/CflZTsFMi2OoHNIDMgFgncSqwbw==
X-Received: by 2002:a17:902:684a:b0:1d4:912a:e6c0 with SMTP id
 f10-20020a170902684a00b001d4912ae6c0mr5733732pln.83.1704106691107; 
 Mon, 01 Jan 2024 02:58:11 -0800 (PST)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:219f:4522:3a10:1fb3])
 by smtp.gmail.com with ESMTPSA id
 s61-20020a17090a69c300b0028afd8d128asm13589701pjj.0.2024.01.01.02.58.09
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 01 Jan 2024 02:58:10 -0800 (PST)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Mon,  1 Jan 2024 19:57:25 +0900
Message-ID: <21f20b6629cab9d353b3618525cd4094fa248e24.1704106646.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.41.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/parallel.scm (massivethreads): New variable.
---
 gnu/packages/parallel.scm | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/gnu/packages/parallel.scm b/gnu/packages/parallel.scm
index e12035e47d..f1cda36b70 100644
--- a/gnu/packages/parallel.scm
+++ b/gnu/packages/parallel.scm
@@ -12,6 +12,7 @@
 ;;; Copyright © 2019-2023 Ludovic Courtès <ludo@HIDDEN>
 ;;; Copyright © 2020 Roel Janssen <roel@HIDDEN>
 ;;; Copyright © 2021 Stefan Reichör <stefan@HIDDEN>
+;;; Copyright © 2024 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -48,6 +49,7 @@ (define-module (gnu packages parallel)
   #:use-module (gnu packages documentation)
   #:use-module (gnu packages flex)
   #:use-module (gnu packages freeipmi)
+  #:use-module (gnu packages gcc)
   #:use-module (gnu packages linux)
   #:use-module (gnu packages maths)
   #:use-module (gnu packages mpi)
@@ -566,3 +568,30 @@ (define-public psimd
        "This header-only C++ library provides a portable interface to
 single-instruction multiple-data (SIMD) intrinsics.")
       (license license:expat))))
+
+(define-public massivethreads
+  (package
+    (name "massivethreads")
+    (version "1.00")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/massivethreads/massivethreads")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "0d93xf2zknq92wlcm7xc7zbja2fh3qyl543xx2qc64k3rslmf8yh"))))
+    (build-system gnu-build-system)
+    ;; Cannot built with glibc 2.34 or later.
+    ;; https://github.com/massivethreads/massivethreads/pull/15
+    (inputs (list glibc-2.33 gcc-5))
+    (home-page
+     "https://www.eidos.ic.i.u-tokyo.ac.jp/contents/research/massivethreads.html")
+    (synopsis "Lightweight thread library")
+    (description
+     "MassiveThreads is a thread library that can spawn threads two orders of
+magnitude faster than native operating system threads.  It provides three APIs
+to use: native intefrace, pthread-compatible interface, and TBB-like
+interface.")
+    (license license:bsd-2)))

base-commit: 86b5fa100992527c434616482ba9cfd92b636d12
-- 
2.41.0

Message sent to guix-patches@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: [bug#61678] [PATCH v4 2/2] gnu: Add smlsharp.
Resent-From: gemmaro <gemmaro.dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 01 Jan 2024 10:59:02 +0000
Resent-Message-ID: <handler.61678.B61678.170410670219340 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 61678
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 61678 <at> debbugs.gnu.org
Cc: gemmaro <gemmaro.dev@HIDDEN>
Received: via spool by 61678-submit <at> debbugs.gnu.org id=B61678.170410670219340
          (code B ref 61678); Mon, 01 Jan 2024 10:59:02 +0000
Received: (at 61678) by debbugs.gnu.org; 1 Jan 2024 10:58:22 +0000
Received: from localhost ([127.0.0.1]:47365 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rKFzy-00051m-3j
	for submit <at> debbugs.gnu.org; Mon, 01 Jan 2024 05:58:22 -0500
Received: from mail-oa1-x29.google.com ([2001:4860:4864:20::29]:52339)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <gemmaro.dev@HIDDEN>) id 1rKFzw-00051S-JW
 for 61678 <at> debbugs.gnu.org; Mon, 01 Jan 2024 05:58:21 -0500
Received: by mail-oa1-x29.google.com with SMTP id
 586e51a60fabf-203fed05a31so6730131fac.0
 for <61678 <at> debbugs.gnu.org>; Mon, 01 Jan 2024 02:58:18 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1704106693; x=1704711493; darn=debbugs.gnu.org;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:from:to:cc:subject:date
 :message-id:reply-to;
 bh=zRFEF9givHtxHA3Vpz9VotdMpIQNVLED43p9POYmVCk=;
 b=A1UXZG+cKtFYByLEw5AuyhPx/uwYN7qeR96azT5HBkLj+W2Yc1k+S4gge6keDZisSB
 EJZ/qwf3uaeXEuXF9DOuVruKV4qJR3eA1I1WhMQIvcVwkW3ipGbByEVOyUnfSdOqV6Zr
 NhrSRYuNBEKiP8LH45safOK09igTmKnpWxG2bUZ405HNZUWh57f+XefR6mZy8I7eLD7X
 4Q+dg2Qil2tmtQ+6bCLbe6A9YIzhWNbapwN1wYgO2s93Lozem4nbJoXTl52hvC3Ptc7n
 1elp817OVYH0Gmacl0JcCzzhYWO2K5B3W0alIL0+ec0Lmx3kpWbWbNeyTYUuE5JArxQr
 vBUg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1704106693; x=1704711493;
 h=content-transfer-encoding:mime-version:references:in-reply-to
 :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=zRFEF9givHtxHA3Vpz9VotdMpIQNVLED43p9POYmVCk=;
 b=mYQRSFAYn4P6l4YcRKNgXe9i/scEMa2F2H4luqxo93k/iZGamK2FLjETCyHWmA00j5
 Sfn/JruMCMQRyHxIeFDu39yM8kEmD4g7iJUHvDthI1iv074Zz8oLB8vY0ZXSMrz32Vjl
 bCBwHAV0KVroKSPF2d5b78RDG4xQ3tAS9QuKajvtok7uyzErCoUs8SPeC2A52jq5r2kG
 hSRIUvcw16eTkL++/T4cJIrKzTuWP2eEc4FRpS97WUF9DLYQl96FFBCXPBfRmmqV/JtA
 y9hdpnvw/Z5oLM968J44Z+CNlp+7B8dibEBfl7mfpIXZblyuV8/UDRH7fq4hPDzvFnHS
 uN3Q==
X-Gm-Message-State: AOJu0YyVCg7ILvsIkehAqoPVIeZ84I+HAWS7klNhbAJ5dNgjUvCNAs6M
 kDLdA3uB40taZkNiuWinVP2P6ENiSvIPKA==
X-Google-Smtp-Source: AGHT+IH7LLwG5r4o8xn8V2y5cFr06Mb8KUsjdfcrb111ZhiGM7ejukeRq9wajxqgbmvOpkUkaPKVaw==
X-Received: by 2002:a05:6870:a1a3:b0:203:ef78:15b9 with SMTP id
 a35-20020a056870a1a300b00203ef7815b9mr17956065oaf.0.1704106692916; 
 Mon, 01 Jan 2024 02:58:12 -0800 (PST)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:219f:4522:3a10:1fb3])
 by smtp.gmail.com with ESMTPSA id
 s61-20020a17090a69c300b0028afd8d128asm13589701pjj.0.2024.01.01.02.58.11
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 01 Jan 2024 02:58:12 -0800 (PST)
From: gemmaro <gemmaro.dev@HIDDEN>
Date: Mon,  1 Jan 2024 19:57:26 +0900
Message-ID: <15a07e5595ea1fda4bbb0825375926898140c9c5.1704106646.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.41.0
In-Reply-To: <21f20b6629cab9d353b3618525cd4094fa248e24.1704106646.git.gemmaro.dev@HIDDEN>
References: <21f20b6629cab9d353b3618525cd4094fa248e24.1704106646.git.gemmaro.dev@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

* gnu/packages/sml.scm (smlsharp): New variable.

Change-Id: I3418d7219d88653432f16e6bca3e4aa6e7467bd8
---
 gnu/packages/sml.scm | 56 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 368abf6cfa..8d5373328d 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -4,6 +4,7 @@
 ;;; Copyright © 2018 Ricardo Wurmus <rekado@HIDDEN>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg@HIDDEN>
 ;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@HIDDEN>
+;;; Copyright © 2024 gemmaro <gemmaro.dev@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -21,12 +22,17 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
 (define-module (gnu packages sml)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages bash)
   #:use-module (gnu packages lesstif)
   #:use-module (gnu packages libffi)
+  #:use-module (gnu packages llvm)
   #:use-module (gnu packages multiprecision)
+  #:use-module (gnu packages parallel)
   #:use-module (gnu packages xorg)
   #:use-module (guix build-system gnu)
   #:use-module (guix download)
+  #:use-module (guix gexp)
   #:use-module (guix git-download)
   #:use-module ((guix licenses) #:prefix license:)
   #:use-module (guix packages)
@@ -340,3 +346,53 @@ (define-public smlnj
     (license (license:fsf-free
                "https://www.smlnj.org/license.html"
                "https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
+
+(define-public smlsharp
+  (package
+    (name "smlsharp")
+    (version "4.0.0")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url "https://github.com/smlsharp/smlsharp")
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "0cwpp4azkr79vf3c0w3g3zxv1rdcbi4gs7kp80b7aa1b5cqv04bj"))))
+    (build-system gnu-build-system)
+    (arguments
+     (list
+      #:parallel-build? #t
+      #:parallel-tests? #t
+      #:test-target "test"
+      #:phases #~(modify-phases %standard-phases
+                   ;; NOTE: Needed for running SML# executables
+                   (add-after 'install 'wrap-programs
+                     (lambda* (#:key inputs outputs #:allow-other-keys)
+                       (let ((out (assoc-ref outputs "out"))
+                             (libs (map (lambda (name)
+                                          (string-append (assoc-ref inputs
+                                                                    name)
+                                                         "/lib"))
+                                        '("gmp" "massivethreads" "glibc"))))
+                         (with-directory-excursion (string-append out "/bin")
+                           (for-each (lambda (file)
+                                       (wrap-program (basename file)
+                                         `("LIBRARY_PATH" prefix
+                                           ,libs)) #t)
+                                     (find-files ".")))))))))
+    (inputs (list llvm-11 gmp massivethreads glibc bash-minimal))
+    (home-page "https://smlsharp.github.io/en/")
+    (synopsis "New language in the Standard ML family")
+    (description
+     "SML# is a new generation of the Standard ML family.  The main features
+of SML# include the following:
+@itemize
+@item record polymorphism
+@item integration with SQL
+@item interoperability with C
+@item separate compilation and linking
+@item multithread support
+@end itemize")
+    (license license:expat)))
-- 
2.41.0

Last modified: Sat, 20 Jan 2024 12:30:02 UTC

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