Received: (at 61678) by debbugs.gnu.org; 1 Jan 2024 10:58:22 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jan 01 05:58:22 2024
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v4 2/2] gnu: Add smlsharp.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 1 Jan 2024 10:58:22 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jan 01 05:58:22 2024
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v4 1/2] gnu: Add massivethreads.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 1 Jul 2023 13:55:23 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 01 09:55:23 2023
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v3 2/2] gnu: Add smlsharp.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 1 Jul 2023 13:53:34 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 01 09:53:34 2023
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v3 1/2] gnu: Add massivethreads.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 29 Jun 2023 16:12:23 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jun 29 12:12:23 2023
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v2 2/2] gnu: Add smlsharp.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 29 Jun 2023 16:10:26 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jun 29 12:10:26 2023
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>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH v2 1/2] gnu: Add massivethreads.
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-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 21 Feb 2023 14:34:14 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 21 09:34:14 2023
Received: from localhost ([127.0.0.1]:55125 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1pUTig-0001CU-6a
for submit <at> debbugs.gnu.org; Tue, 21 Feb 2023 09:34:14 -0500
Received: from mail-pj1-f53.google.com ([209.85.216.53]:54787)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <gemmaro.dev@HIDDEN>) id 1pUTid-0001CA-Aq
for 61678 <at> debbugs.gnu.org; Tue, 21 Feb 2023 09:34:12 -0500
Received: by mail-pj1-f53.google.com with SMTP id c23so232220pjo.4
for <61678 <at> debbugs.gnu.org>; Tue, 21 Feb 2023 06:34:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
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=uicbC1MeizWC/WojYALjsptE3nXCncDYlNHq5EFXybY=;
b=gtw+JDaUL7bPlMRn94Q0uLK4gNoubfXHRxOiMsEqXJ5k6RUJu9qCEfn0WKFq4Q3gCi
b1Tql23zYYx3g6NwDE0FblvY/KV5IzBtSmcFb7U3uE+L0Az1rxpw9mHF6YgYDbs/5CJM
MeO2jMv6Q6W8qmos2lPqFaJJXwO9c1j+8WK5Oj+2ZDleMu5cM7GqPS4PV1XFFKv8r9k+
nXuU5m+jmgnEk78sWhJpbDGZkkJICqZAT7NeeZdq7hHSIR8uQ7xVZDx0BUNhAIi0z837
hHLyhtB9ZXOeQz0+5iE6VESVAeaJ7Twdd9Judmr+C8hZ1mSa/U00B6e1ckx4VK8/trMA
vjlg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
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=uicbC1MeizWC/WojYALjsptE3nXCncDYlNHq5EFXybY=;
b=THtxkek8F2g9+JzFaF66NA7bkM4xR9YZ5zquJShcmXc6GPWu227250suoSNTWMvP71
KS51AxKUHINPJFY0c6TeEblzXKDyCB7wALpJqictPfZS2BXiNUYIGLYoNCtrQQP9MccU
r9ZtGy3qEbYoH+kZAB/Jw97U2eosGmXcMA21WWoWt+l1eCAmGd56AgUJBSn4e2ZDRn6t
7SeiaFH9qOhGnz7m6+ZgeB1dobAE3fwIvwrzvoFcSh1F4GkIsoS8EDPvcQyGlUuB0h+M
Fy1v/n2avAZsCgimqx7zfZlG/vir8JgUAqqfIJDRyFqdy7W4s5lJ6f8DgoGiF59j7yDc
iRIg==
X-Gm-Message-State: AO0yUKUzqHLTWrcMDYDaXUDYcX5rzgEHtQh5/S84EGKvH37k66/U40ha
tKP94hZu8me5SbcHdqU4Q/hUdz+AobO8qQ==
X-Google-Smtp-Source: AK7set9wQ1HJ+1pn46n37SIIgghsVAAxFVbn3Jq2xluqSopZQLTetRiWtk6Og/cq8mdubLknaQ5CyQ==
X-Received: by 2002:a17:902:c408:b0:19a:9984:5590 with SMTP id
k8-20020a170902c40800b0019a99845590mr8070200plk.5.1676990045729;
Tue, 21 Feb 2023 06:34:05 -0800 (PST)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
by smtp.gmail.com with ESMTPSA id
jb9-20020a170903258900b001994a0f3380sm1182361plb.265.2023.02.21.06.34.04
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Tue, 21 Feb 2023 06:34:05 -0800 (PST)
From: gemmaro <gemmaro.dev@HIDDEN>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH 2/2] gnu: Add smlsharp.
Date: Tue, 21 Feb 2023 23:33:40 +0900
Message-Id: <475d6cad530869442d8a7372a3d29ddf2cc38eb1.1676987498.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.39.1
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
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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 | 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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
Received: (at 61678) by debbugs.gnu.org; 21 Feb 2023 14:34:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 21 09:34:07 2023
Received: from localhost ([127.0.0.1]:55122 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1pUTiY-0001CB-Sd
for submit <at> debbugs.gnu.org; Tue, 21 Feb 2023 09:34:07 -0500
Received: from mail-pj1-f51.google.com ([209.85.216.51]:51919)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <gemmaro.dev@HIDDEN>) id 1pUTiW-0001Bp-E4
for 61678 <at> debbugs.gnu.org; Tue, 21 Feb 2023 09:34:05 -0500
Received: by mail-pj1-f51.google.com with SMTP id pt11so5757368pjb.1
for <61678 <at> debbugs.gnu.org>; Tue, 21 Feb 2023 06:34:04 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
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=9gw6TAymLvPiv5BUqngKFYsVMjdbEigJq/p61vjx+uU=;
b=acBiALP4OBNS/IMl3UtwGTQuR9nLL9MGCXKIDZ9tj3An2Ku/2KLfIloQOS4pNka+ef
f0pNRnQsvFgLO+4Xd+70n8F3Um6KWQC3NjnjYIL8fP4WY2GsTkL6J2A6j39TGkHQs/PK
sbvIBtDmjJOcp3X28Q4xBQEDaQjRfc1X+DiB5VrLPOQRhnOmcIP/ai2pXq8Q12hJN8QS
dEDDjxa2tCkYP2M1qNmxUpj/zyULfFAYP7TWjhrNh3atAIPN6J+eNVA+zvXAffXWtJf1
pR4kanNX2KMTNSdjCEQYnaenM5b7lyrmlsSLf5/p+ohtOJlMEk9fspgRQfxX3hyZuBQr
3SoA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
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=9gw6TAymLvPiv5BUqngKFYsVMjdbEigJq/p61vjx+uU=;
b=WnbyVyGGIK+8pU6V57FPFg3aYQEzj0vxcFwfmgvua09oqkv5vHSpGRLH6Crz/vodQ8
+G/vsZnf5FcsQe04TT6b0KvSq6+CZtXvhkmbUXbLSLqSbQfVXzl0pGMrm8zcI4FRuWPp
4OJA2D//DN+TkpKciFkbisAUYkHH0roabv4b2gm72j8XBDxwU9CUJLj6ub+dcgA7Eein
S8xo2tsOVzpGrQkizCIgH4VMl+UTbXe0DUHnz+7vL2WUq2HNViB0dqeWialJsUVRBmKK
f597lph+qPRokaQFQSGr56uw83PAjhn3bBW8kQeYiKrg8h78sl9f6PTUuCjbM+3BJlnC
eTJg==
X-Gm-Message-State: AO0yUKUqTTGv56FJ3x/7koAVF52rJdWs4r9pjXfMbbzIQ+qH5hr5hZyg
g+XzCNXH2donvAZfZtdncJvk6A3inu6zkQ==
X-Google-Smtp-Source: AK7set9ssFog1sFwW04IojJSk8pSqYWtOnnNxRsRpSsSj+tbEO0qSoWqnIbfldLGJqhlnHId+3PJVA==
X-Received: by 2002:a17:903:22c8:b0:196:7c6d:2aee with SMTP id
y8-20020a17090322c800b001967c6d2aeemr8466954plg.11.1676990038390;
Tue, 21 Feb 2023 06:33:58 -0800 (PST)
Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc])
by smtp.gmail.com with ESMTPSA id
jb9-20020a170903258900b001994a0f3380sm1182361plb.265.2023.02.21.06.33.57
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Tue, 21 Feb 2023 06:33:57 -0800 (PST)
From: gemmaro <gemmaro.dev@HIDDEN>
To: 61678 <at> debbugs.gnu.org
Subject: [PATCH 1/2] gnu: Add massivethreads.
Date: Tue, 21 Feb 2023 23:33:39 +0900
Message-Id: <4c32ecc03c10258f4973efc2792bc28402530436.1676987498.git.gemmaro.dev@HIDDEN>
X-Mailer: git-send-email 2.39.1
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
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 61678
Cc: gemmaro <gemmaro.dev@HIDDEN>
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 | 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
guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 21 Feb 2023 13:58:57 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 21 08:58:57 2023 Received: from localhost ([127.0.0.1]:55080 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1pUTAW-00009A-TL for submit <at> debbugs.gnu.org; Tue, 21 Feb 2023 08:58:57 -0500 Received: from lists.gnu.org ([209.51.188.17]:42500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <gemmaro.dev@HIDDEN>) id 1pUTAV-000092-6K for submit <at> debbugs.gnu.org; Tue, 21 Feb 2023 08:58:56 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <gemmaro.dev@HIDDEN>) id 1pUTAU-0006fR-Vp for guix-patches@HIDDEN; Tue, 21 Feb 2023 08:58:54 -0500 Received: from mail-pf1-x42e.google.com ([2607:f8b0:4864:20::42e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <gemmaro.dev@HIDDEN>) id 1pUTAT-0004XH-Dh for guix-patches@HIDDEN; Tue, 21 Feb 2023 08:58:54 -0500 Received: by mail-pf1-x42e.google.com with SMTP id n5so2719585pfv.11 for <guix-patches@HIDDEN>; Tue, 21 Feb 2023 05:58:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=/9SIHk+fK1CXoy8m1k+Z8M2QMJJq0xp4dPTmFJ6V6YU=; b=eyw5RJKZ7X7itWBt5ekKcTyw0bprefBAQvsvm9dnePxMNWCi4RZcGuAQWHLl42v0cB ZdvvHv2kVGLWIGsobsIV6ivk51Hyj+XbTRKv5smQYsk7Nm8m7itBAwyKM6pka5CQQLKU 5PQBZhU91TvuRswJELrCzsKMDnD15DjzwU+6D6N/ZjxQEYSaatoDQEMO2TqB/wwmJxLl kgVYAefGazJBc5s92uqKR1FpASqS7vJcZred9s0VMm/SycRC0etoi3Ccx9izhatayebL e3JFy9MTfVo6hat09Y//BtX1lE2AGKFRknK30H4WtKMCQpfIL++iY+xXjXUAnpPcy5dZ wwsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=/9SIHk+fK1CXoy8m1k+Z8M2QMJJq0xp4dPTmFJ6V6YU=; b=EAV12OW0ZL+eiUrGXOrtU84wi2yg6ntK4fcXqP1lf33h6olh1q9RKfS+yTLIUKqV76 ZBPdnOoTWOFmC0PWrstL2MROduQR0hy2z/WXUKIuF4dnrLM751QD+nq/+1devm0rKsY2 Q7P4vdNKEqyN69zMaFY32lORy4eZenBvO5HZboItmVrPXaSRvjTcFYdyFXYTWYM65fjW cMS4iI1C9yq0rxkuIZOPmFuG2XDNQ+A2P8mDeqxKnewlSqzHMrgIggLFr2ghKu7Dmr/F 5LPX/cPJyQaLgO9WR+j3tu4uJVlXePPIYWD1uEP4WH9kkfM2P+cpBzx7HQycfMCUMpHn 6c+g== X-Gm-Message-State: AO0yUKX4cmc9sXTeivMMFqFGjIcNUvaqpPT/q5d/6O0IqFTue1+l21FH qhpRQkl4/wHRpXhq6XCDn56dB02JyFlaSw== X-Google-Smtp-Source: AK7set8qX/ba7gRy2RVQJAe91w4RBxWHbntHA5Oc84/QCby7tS4tK21BYi8jl0jgRu962NxfjlQ+8A== X-Received: by 2002:a62:7b42:0:b0:5a8:cc65:5766 with SMTP id w63-20020a627b42000000b005a8cc655766mr3851872pfc.6.1676987931285; Tue, 21 Feb 2023 05:58:51 -0800 (PST) Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc]) by smtp.gmail.com with ESMTPSA id i13-20020aa787cd000000b005abbfa874d9sm2703769pfo.88.2023.02.21.05.58.49 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 Feb 2023 05:58:50 -0800 (PST) From: gemmaro <gemmaro.dev@HIDDEN> To: guix-patches@HIDDEN Subject: [PATCH 0/2] gnu: Add smlsharp. Date: Tue, 21 Feb 2023 22:58:41 +0900 Message-Id: <cover.1676987498.git.gemmaro.dev@HIDDEN> X-Mailer: git-send-email 2.39.1 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-Debbugs-Envelope-To: submit Cc: gemmaro <gemmaro.dev@HIDDEN> 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
gemmaro <gemmaro.dev@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#61678; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.