GNU bug report logs - #51745
[PATCH 0/1] Add smlnj.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Foo Chuan Wei <chuanwei.foo@HIDDEN>; Keywords: patch; dated Wed, 10 Nov 2021 08:57:01 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 51745 <at> debbugs.gnu.org:


Received: (at 51745) by debbugs.gnu.org; 10 Nov 2021 09:06:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Nov 10 04:06:28 2021
Received: from localhost ([127.0.0.1]:36976 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mkjYf-0007FD-QH
	for submit <at> debbugs.gnu.org; Wed, 10 Nov 2021 04:06:28 -0500
Received: from mail-oln040092255095.outbound.protection.outlook.com
 ([40.92.255.95]:35855 helo=APC01-HK2-obe.outbound.protection.outlook.com)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <chuanwei.foo@HIDDEN>) id 1mkjYZ-0007Ek-Ii
 for 51745 <at> debbugs.gnu.org; Wed, 10 Nov 2021 04:06:16 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
 b=g+y2wgM4rfkhyfC/cnEFUTcn01H8oPfrW+M8YeqqjC+B38C7sCnDcZFVT+OaKdupL/x5Dj2yrH+l8A6v96Ka56dtcSQXfTPs6jAL2qMFmtvyJkMwmbIhGy8OgxFVpYAO0O4Z1P426TMOCLEHderhQNavPig4o0bntJxXxiCyMlEe72tvvrB0jjWERL6hQzry1hFQp2MDlOSdRgHnEQDVniKOjYpk6RKpFQG87F0csl/r/73zihnScfJ4EmTy99193nfEgnA08hxkoRLjPQCydbrcjfV6skJfoBJj+jJCbTmf8wCAneXVeFGhjigzcHBSRPShf5mcJKbV/PeSJmJ7PA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; 
 s=arcselector9901;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1;
 bh=EHpmMVpbEYSoWNfmw/VjLW4IzZgaFa9OPW4B/NRyPbs=;
 b=IRKd18/LSJoVhKtrmWHF++sYfcwjpyL1XHSlLnvHv7IqUZqtlGm4G4lpi3XHasWr/aFujrdkEN5Nxmh2VK0n1ommQ4C5BxxLcXKHeBcJiLvkwbZvha6M98lJz+EqG6v7CPG72x5uJL6W0CVvtv9bjmN834tQnYfK+3wlxyZbgiI5vr8ByAK/qMEPiunGYM4uT1p4+YCFmThRu8Aa05kJGlXWF8PnHmWPNXGwfS2w3mz0ZqHcDnFrXt27CqcNvvxYIArA7H2uITWfRay4UgMUo6iArNW8RkAhOOhQbizFMrxrwcsbxfa+2f/BqvjnArr3T28YuVUBq/3dB2RWhOcVmA==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none;
 dkim=none; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com;
 s=selector1;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=EHpmMVpbEYSoWNfmw/VjLW4IzZgaFa9OPW4B/NRyPbs=;
 b=WRSSKcM9+9J+bg8tQjqg6jdGljc4pWQUymiCdtywaac/gHORuFsZ9251QexvdcJaoHUv4kjkz2/Kl+wBms+bajq8WepPyyyM6RZ62mMp69rVRUSaZrr9TxeGVH8Ej+dSIrkoiyySvCPIhD7xUxC7leiNrM2fxhCYHjdusfgDO4lcJ+S2pspD3eocIq/OifP7GrvF2tjWKfwkSvKBx0KlzCBt4YqhYx+E8TbRU3tASjKZXCAbNMqhmERDImiYzQvrN2z+sc7nakSpMutItbZE0igrmPe1DRQPhvCCl/v4JqJVGmW45iLW7oGl/rJdtHCJNGUEjf7I+roCF+ZztJ3Hog==
Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 (2603:1096:803:1c::21) by PU1PR01MB1932.apcprd01.prod.exchangelabs.com
 (2603:1096:803:1b::12) with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4669.13; Wed, 10 Nov
 2021 09:06:02 +0000
Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 ([fe80::258d:e124:fd3a:40ee]) by PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 ([fe80::258d:e124:fd3a:40ee%7]) with mapi id 15.20.4669.016; Wed, 10 Nov 2021
 09:06:02 +0000
Date: Wed, 10 Nov 2021 09:05:59 +0000
From: Foo Chuan Wei <chuanwei.foo@HIDDEN>
To: 51745 <at> debbugs.gnu.org
Subject: [PATCH 1/1] gnu: Add smlnj.
Message-ID: <PU1PR01MB21556F4657869CEC5B7474938D939@HIDDEN>
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
X-TMN: [azFEI7LVpWEfVRLosGu0gVsgdd7cUUd7]
X-ClientProxiedBy: HK2PR02CA0222.apcprd02.prod.outlook.com
 (2603:1096:201:20::34) To PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 (2603:1096:803:1c::21)
X-Microsoft-Original-Message-ID: <20211110090559.wdugt2ign7p7qcd6@main>
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from main (202.160.33.52) by HK2PR02CA0222.apcprd02.prod.outlook.com
 (2603:1096:201:20::34) with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4690.15 via Frontend
 Transport; Wed, 10 Nov 2021 09:06:01 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 689ca1c1-9852-4267-c3c4-08d9a429519e
X-MS-TrafficTypeDiagnostic: PU1PR01MB1932:
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: mbeEEaMUIFTzAGtf48i3MyFIxT5egOrm9sHwffAOdhADMp26tYfkXESMYE8/rRV1Rn2kKKmYSZsf2dKK2YHmWFVxMX0OfksT0W8EeZWG5RYcO1KPuQSiT4A7zgR6O+LFyQiv+kK5ZEpAnYZ4h+JjX9RLUlFv4a+2ZIkslA/SpWhyAd5Zi6T2196bAp7L9FBvMY1r4rszH35Q5+CAfp87zVWuVtWbrngEO/zW0tM1eSkEgo5clV/YjJPVxcLNzeW/D9Z5yr3QsMR0QMI0QhJyUWrqnrijx7J0I6egnZfmoj5SvvefHY5f+TAyPJ8ZZlZirjpiOK5oZt1ey3EuT3eDOkvRQaHzfvLt5n9lD0mOccaegLp2rLNsYgCPE1++QbfWgjkr+pgBTmRT3m3kQFqy4SSX+qRvcXN/fkBSXz+/yaT5Ug2p/iW4idlsB73SsCtWPXplDADSs92ZrkJk4cuAs7jYRHj5mxe3Lw4y9uH629GZs77hLeHgh1vEdwYI7nStp2mfTIODS90LBIVl5fl8lnFLnjSojMOjpPJTvwYRPfoj2QSAhpE/aZHQo0FfaF/BIVLhMCX9YXzZIg+4MrAwjw==
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 45H4jjGWv2Z2RNrVPh5EcNDYdKIEfPmmdo9ZiwtYpOSIujULOUoak8B5FUrwJREX1RRoIV2/BvGMses+HgfOyvusfj5xIZvyjHNljmgTGqy4FUM8khPLy+BR+1QhExaNDHUhpqA+vDx2FTafFsT7t/L7xBotvVyv9tjp75Ysd6gXTXQB80StBfPhjsDMi8QTYImIfbyN5d/8GD/bdPkLtGTRa/azi8vlHQ/kpaZ78M8FQpesdcle/pLbprAsChn1Oal1tY4wdtORJjhdra3a1kf5VX5KIdw2oLGkszdpfDGoM0uk+UMP6XTqmH/j4QC2FhLYXiolz4aTlhV4teVvFetCIMtCl9ArcDebI0LlzS9Aohi32tjt8i9DhFZy8Lhyr6xsmVGK4s5CrHCvWdSUF4LkijmlTk1tZ5M5pePuoJE3ddoXc/IfJiNNkpdylMvdfsDSFXNlB0sorzXUCUadAbI/48k4GmOkbS06LpAKKTfVDQPDIl7RCGtRF7ZkF2swT3CdbRa3lt6OFqprKMR07opRJ57sUbbDVbesC430wlOfaeKO0bx3bGh5qR/3o9/5+A0uPVhTJeZz/HK3GBJvb/STu1Nw54LQtsjFOas6oG7PRBC1zztInw2+30EaMEbwt+SXWjZd0aFhRj21NEx6ZAnQtjMm0ewVSyp1ASB2Y8lH+z21DcheyOQe58QmoIBgsKf63q/PgyrKpOOWwnMdig==
X-OriginatorOrg: sct-15-20-3174-20-msonline-outlook-5c337.templateTenant
X-MS-Exchange-CrossTenant-Network-Message-Id: 689ca1c1-9852-4267-c3c4-08d9a429519e
X-MS-Exchange-CrossTenant-AuthSource: PU1PR01MB2155.apcprd01.prod.exchangelabs.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Nov 2021 09:06:02.3087 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PU1PR01MB1932
X-Spam-Score: 1.3 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  * gnu/packages/sml.scm (smlnj): New variable. --- gnu/packages/sml.scm
    | 261 ++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 260 insertions(+),
    1 deletion(-) diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index
    b7e96f028c..c7e8da35e2 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm
    @@ -3,6 +3,7 @@ ;;; Copyright © 2017, 2021 Tobias Ge [...] 
 
 Content analysis details:   (1.3 points, 10.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_PASS               SPF: sender matches SPF record
 -0.0 RCVD_IN_MSPIKE_H2      RBL: Average reputation (+2)
                             [40.92.255.95 listed in wl.mailspike.net]
 -0.0 RCVD_IN_DNSWL_NONE     RBL: Sender listed at https://www.dnswl.org/,
                              no trust
                             [40.92.255.95 listed in list.dnswl.org]
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
                             provider (chuanwei.foo[at]hotmail.com)
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
  1.3 URI_DOTEDU             Has .edu URI
X-Debbugs-Envelope-To: 51745
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 (smlnj): New variable.
---
 gnu/packages/sml.scm | 261 ++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 260 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index b7e96f028c..c7e8da35e2 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -3,6 +3,7 @@
 ;;; Copyright © 2017, 2021 Tobias Geerinckx-Rice <me@HIDDEN>
 ;;; Copyright © 2018 Ricardo Wurmus <rekado@HIDDEN>
 ;;; Copyright © 2019, 2020 Brett Gilio <brettg@HIDDEN>
+;;; Copyright © 2021 Foo Chuan Wei <chuanwei.foo@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -28,7 +29,8 @@
   #:use-module (guix download)
   #:use-module (guix git-download)
   #:use-module ((guix licenses) #:prefix license:)
-  #:use-module (guix packages))
+  #:use-module (guix packages)
+  #:use-module (guix utils))
 
 (define-public polyml
   (package
@@ -75,3 +77,260 @@ function interface, and a symbolic debugger.")
     (license
      (list license:lgpl2.1
            license:lgpl2.1+))))
+
+(define (smlnj-file version filename hash)
+  (origin
+    (method url-fetch)
+    (uri (string-append "http://smlnj.cs.uchicago.edu/dist/working/"
+                        version "/" filename))
+    (sha256 (base32 hash))))
+
+(define-public smlnj
+  (package
+    (name "smlnj")
+    (version "110.99.2")
+    (source #f)  ; Sources are passed as native-inputs.
+    (supported-systems '("x86_64-linux" "i686-linux"))
+    (build-system gnu-build-system)
+    (outputs '("out" "doc"))
+    (arguments
+     `(#:tests? #f
+       #:phases
+       (modify-phases %standard-phases
+         (replace 'unpack
+           (lambda* (#:key inputs #:allow-other-keys)
+             (for-each
+               (lambda (file)
+                 (invoke "tar" "xvf" (assoc-ref inputs file)))
+               (list (if (string=? "i686-linux" ,(%current-system))
+                       "boot.x86-unix"
+                       "boot.amd64-unix")
+                     "config"
+                     "cm"
+                     "compiler"
+                     "runtime"
+                     "system"
+                     "MLRISC"
+                     "smlnj-lib"
+                     "old-basis"
+                     "ckit"
+                     "nlffi"
+                     "cml"
+                     "eXene"
+                     "ml-lpt"
+                     "ml-lex"
+                     "ml-yacc"
+                     "ml-burg"
+                     "pgraph"
+                     "trace-debug-profile"
+                     "heap2asm"
+                     "smlnj-c"
+                     "doc"
+                     "asdl"))
+             ;; Same directory structure as what the config/unpack script
+             ;; would produce.
+             (mkdir "base")
+             (rename-file "runtime" "base/runtime")
+             (rename-file "compiler" "base/compiler")
+             (rename-file "cm" "base/cm")
+             (rename-file "old-basis" "base/old-basis")
+             (rename-file "system" "base/system")
+             #t))
+         (delete 'configure)
+         (replace 'patch-source-shebangs
+           (lambda _
+             ;; Fix paths to /bin/sh.
+             (substitute* (list "config/install.sh"
+                                (if (string=? "i686-linux" ,(%current-system))
+                                  "base/runtime/objs/mk.x86-linux"
+                                  "base/runtime/objs/mk.amd64-linux")
+                                "asdl/configure"
+                                "asdl/src/asdlgen/Makefile.in")
+               (("^SHELL[[:space:]]*=[[:space:]]*/bin/sh")
+                (string-append "SHELL=" (which "sh"))))
+             (substitute* "asdl/configure"
+               (("^SHELL=\\$\\{CONFIG_SHELL-/bin/sh\\}")
+                (string-append "SHELL=" (which "sh"))))
+             (substitute* (list "asdl/src/gen/fragments/mkfrags_sh.in"
+                                "asdl/src/gen/fragments/mkmk_sh.in")
+               (("^#!/bin/sh")
+                (string-append "#!" (which "sh"))))
+             #t))
+         (replace 'build
+           (lambda* (#:key inputs outputs #:allow-other-keys)
+             (substitute* "config/chk-global-names.sh"
+               (("^CC=.*")
+                (string-append "CC=" ,(cc-for-target))))
+
+             ;; /bin and /usr/bin do not exist in the build environment.
+             (substitute* "config/_arch-n-opsys"
+               (("^export PATH") "")
+               (("^PATH=\"/bin:/usr/bin\"") "")
+               (("uname") (which "uname")))
+             (substitute* "base/runtime/config/gen-posix-names.sh"
+               (("^PATH=/bin:/usr/bin") ""))
+
+             ;; The build process uses an SML Basis Library function
+             ;; `OS.Process.system`, which uses "/bin/sh" (this is hardcoded).
+             ;; However, /bin/sh does not exist in the Guix build environment.
+             ;; Solution: binary patch — replace "/bin/sh" with "/tmp/sh".
+             (symlink (which "sh") "/tmp/sh")
+             (invoke "sed" "-i" "s,/bin/sh,/tmp/sh,"
+                     (if (string=? "i686-linux" ,(%current-system))
+                       "sml.boot.x86-unix/SMLNJ-BASIS/.cm/x86-unix/basis-common.cm"
+                       "sml.boot.amd64-unix/SMLNJ-BASIS/.cm/amd64-unix/basis-common.cm"))
+
+             ;; Build.
+             (invoke "./config/install.sh" "-default"
+                     (if (string=? "i686-linux" ,(%current-system))
+                       "32"
+                       "64"))
+
+             ;; Undo the binary patch.
+             (for-each
+               (lambda (file)
+                 (invoke "sed" "-i" "s,/tmp/sh,/bin/sh," file))
+               (if (string=? "i686-linux" ,(%current-system))
+                 '("bin/.heap/sml.x86-linux"
+                   "lib/SMLNJ-BASIS/.cm/x86-unix/basis-common.cm")
+                 '("bin/.heap/sml.amd64-linux"
+                   "lib/SMLNJ-BASIS/.cm/amd64-unix/basis-common.cm")))
+
+             ;; Set SMLNJ_HOME in the bin/ files, so that `sml` is able to find
+             ;; the SML/NJ Library.
+             (let ((out (assoc-ref outputs "out")))
+               (for-each
+                 (lambda (file)
+                   (invoke "sed" "-i"
+                           (string-append "2iSMLNJ_HOME=${SMLNJ_HOME:-" out "}")
+                           file))
+                 '("bin/.link-sml"
+                   "bin/.run-sml"
+                   "bin/ml-build"
+                   "bin/ml-makedepend")))))
+        (replace 'install
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let* ((out (assoc-ref outputs "out"))
+                    (out-bin (string-append out "/bin/"))
+                    (out-lib (string-append out "/lib/"))
+                    (out-man (string-append out "/share/man/")))
+               (copy-recursively "bin" out-bin)
+               (copy-recursively "lib" out-lib)
+               (copy-recursively "doc/man" out-man))
+             #t))
+        (add-after 'install 'install-doc
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let ((doc (string-append (assoc-ref outputs "doc")
+                                       "/share/doc/smlnj")))
+               (mkdir-p doc)
+               (copy-recursively "doc" doc))
+             #t)))))
+    (native-inputs
+     `(,(if (string=? "i686-linux" (%current-system))
+          `("boot.x86-unix"
+            ,(smlnj-file version
+                         "boot.x86-unix.tgz"
+                         "117dq1g387vcy1105dlpw770gzrg423jng89ynraiy6kiaalvbcq"))
+          `("boot.amd64-unix"
+            ,(smlnj-file version
+                         "boot.amd64-unix.tgz"
+                         "0cbaz8sxp30y2a4blm0pzk9aa1g9jj65d6d7kydvn0w7m22rjjff")))
+       ("config"
+        ,(smlnj-file version
+                     "config.tgz"
+                     "1sq60frd66kv807bahsyxda355qq67zvvb4sr1d72cv6capv5nsg"))
+       ("cm"
+        ,(smlnj-file version
+                     "cm.tgz"
+                     "087yy9k9vyyvhb24rni6js7s8iqbs8vjm9kjd9s311swjd66qhjc"))
+       ("compiler"
+        ,(smlnj-file version
+                     "compiler.tgz"
+                     "149vrmiba0dqggr15axqqzzfmd0kx7kchlr49gii6hw5dal6vqnn"))
+       ("runtime"
+        ,(smlnj-file version
+                     "runtime.tgz"
+                     "0c3q7qr2i3r91sx9p3z1ar7gvyk6qsm5gcbpbyj6l67qzn192yc3"))
+       ("system"
+        ,(smlnj-file version
+                     "system.tgz"
+                     "0aflnqh9zi9f8vs9pjlxysxplrwl98aiaxx4n41sba4m1r30n0za"))
+       ("MLRISC"
+        ,(smlnj-file version
+                     "MLRISC.tgz"
+                     "1kkga7r7qnw09s8yhqbhrq8gxf6c8x0fiwsbwkr8ls6xwv48sp74"))
+       ("smlnj-lib"
+        ,(smlnj-file version
+                     "smlnj-lib.tgz"
+                     "14fvqgn580k3ylvfhbkwv4cw87ipggq548r7jzp8fzfn2h6wdl01"))
+       ("old-basis"
+        ,(smlnj-file version
+                     "old-basis.tgz"
+                     "11j7a0sxyd1kwxjvxnarab5vc3x43gl90m07wxm37fd4jbfd1fn1"))
+       ("ckit"
+        ,(smlnj-file version
+                     "ckit.tgz"
+                     "1fbfjb2fhr6zkcz5jhqh3888zska6vffndyqwvk6rpbcl7an8niq"))
+       ("nlffi"
+        ,(smlnj-file version
+                     "nlffi.tgz"
+                     "0p5z77x295xfh71481kbd5pwis52kv03vxpad4pzkpk0l6smcgmj"))
+       ("cml"
+        ,(smlnj-file version
+                     "cml.tgz"
+                     "13xchaamwanxhwklsgkn1rmkr044h9qsj0rbr9c7pm903yivdwcn"))
+       ("eXene"
+        ,(smlnj-file version
+                     "eXene.tgz"
+                     "0p4snql0a1a952h98ma9ybmp7z1q305mz859b0mxhsg3jdrzl9wb"))
+       ("ml-lpt"
+        ,(smlnj-file version
+                     "ml-lpt.tgz"
+                     "0m00vglg95apdpzsy6qv88izj5ai4ibylxni01an75xpnxyy5qbg"))
+       ("ml-lex"
+        ,(smlnj-file version
+                     "ml-lex.tgz"
+                     "1pmi5qwjcf1h5nfi7d4vvm7cf90g6dlk2mqikj0y9c464ia1l2jc"))
+       ("ml-yacc"
+        ,(smlnj-file version
+                     "ml-yacc.tgz"
+                     "1zla2m1rn8r8k85ps9r2mw38xkh276j7aqv9f69v55102hchx13p"))
+       ("ml-burg"
+        ,(smlnj-file version
+                     "ml-burg.tgz"
+                     "14cqasasa273x09phykzjgk1wl6vrkdcwrdi39hnacp443cilz7x"))
+       ("pgraph"
+        ,(smlnj-file version
+                     "pgraph.tgz"
+                     "183fv61xlac5kpxn5m4iqgdvc2xb1chlxy5ip4i25x589bh4b5k9"))
+       ("trace-debug-profile"
+        ,(smlnj-file version
+                     "trace-debug-profile.tgz"
+                     "1k0w581kr43mpjzm7778xgx1rpz45aq1h80jdr6jls5vz3k8ia18"))
+       ("heap2asm"
+        ,(smlnj-file version
+                     "heap2asm.tgz"
+                     "0p9s42acngxh0401wm6fqs3im3rzzw9sh448x38zhdi47h8h1m9n"))
+       ("smlnj-c"
+        ,(smlnj-file version
+                     "smlnj-c.tgz"
+                     "054b1nhg5yk2jj01p11k08qzq8zc9jzg4mbgkcmcqaq7axp1rnxm"))
+       ("doc"
+        ,(smlnj-file version
+                     "doc.tgz"
+                     "0s35zrxdj76wzdz7c1i8ij00n6lfll4vjnypsy2j17q1maw7fq8j"))
+       ("asdl"
+        ,(smlnj-file version
+                     "asdl.tgz"
+                     "0mad2df5pmkdsb69gflxma6m6i3gla6hdmjjnkzk76pagpr8zb0m"))))
+    (home-page "http://www.smlnj.org")
+    (synopsis "Standard ML of New Jersey interactive compiler")
+    (description
+      "SML/NJ is an implementation of the Standard ML programming language.
+Standard ML has many features, including type safety, polymorphism, algebraic
+data types with pattern matching, higher-order functions, and a sophisticated
+module system.  It is especially well-suited for writing compilers and other
+language processors.")
+    (license (license:fsf-free
+               "https://www.smlnj.org/license.html"
+               "https://www.gnu.org/licenses/license-list#StandardMLofNJ"))))
-- 
2.25.1





Information forwarded to guix-patches@HIDDEN:
bug#51745; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 10 Nov 2021 08:56:44 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Nov 10 03:56:44 2021
Received: from localhost ([127.0.0.1]:36948 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mkjPL-0006wM-21
	for submit <at> debbugs.gnu.org; Wed, 10 Nov 2021 03:56:44 -0500
Received: from lists.gnu.org ([209.51.188.17]:34952)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <chuanwei.foo@HIDDEN>) id 1mkjPH-0006wC-4B
 for submit <at> debbugs.gnu.org; Wed, 10 Nov 2021 03:56:38 -0500
Received: from eggs.gnu.org ([209.51.188.92]:40632)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <chuanwei.foo@HIDDEN>)
 id 1mkjPG-0008KQ-Fa
 for guix-patches@HIDDEN; Wed, 10 Nov 2021 03:56:34 -0500
Received: from mail-oln040092254099.outbound.protection.outlook.com
 ([40.92.254.99]:16736 helo=APC01-PU1-obe.outbound.protection.outlook.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <chuanwei.foo@HIDDEN>)
 id 1mkjPD-0007H1-Sk
 for guix-patches@HIDDEN; Wed, 10 Nov 2021 03:56:34 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
 b=ftelLwZXdpXBsNtiyS69OgEtd+3eey4WnTuxyEoctmSrYcQMcJacklzPvAMJsk8fe2UFygfNNOHdaJ9yo6Ka3Hjx9zxTRcAsqdD2gDm3KIr/w9bCCPxnD+8Jz6LQbTXUdy7MsJoLVd36pUTO4fmXeITFf/04XMAJIyx+uMBLTrKWhco2uSmGW3AdpKRYIxSJidtJmOgT8+0rDVdwww/CnQ1WIfIFgKgLSvDMPK1KLsSD5D2lcUEpJLx1GYjs62f4ZsHYfSyo1+r9SfyeOY6pTPCYR30zMVbX+/c+IygMGW+uoVbU+LfUFldqxfOVPDgmvmkE0qUY8O6RAOhArpIyUQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; 
 s=arcselector9901;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1;
 bh=5cJ2hfXHeUG5gExxQ8AJ1XmSqlhXRvgEe76jtMmQEkU=;
 b=VHkXszdYPkaSKcKFWxh5Bg914mfJHWUAt9aJsi6EBPeNrziDtnYaOKFL6DF5CyVauOS3J7fdXuqafA5E6ydGmEocrYDEsihd9Ot7/AFFVbj9pRuGmZO2mvgtFS6HB3ODLwzMzu1oxbNFccrd1b0IyqxR8hxCaeUyCUCVMSI76M0DMWzXV055ZuHNICRPLd7SfnIG1t1mn9LKAtKCYfFRza9ypmIYUyJt4+k5O6UuBchZXSt+t4AieR6aAAu3d5DvYVstWratK3G9aQUOWztIT0C3cLs1C958B9UTRDxo1eyLm2lAUfIMolO5fk13WiXjqSLm+l3bZCGuwd4vdKzHYg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none;
 dkim=none; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com;
 s=selector1;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=5cJ2hfXHeUG5gExxQ8AJ1XmSqlhXRvgEe76jtMmQEkU=;
 b=NVvkidqFctoOUa3Xf568zmTtJgCIVO9xLe0Ake9v1CLRANRjflVC3SievtZ9jnvUXPK5fbsdmp7M88Pd1gyJyrgKMhaxNU8gYQHnc7C9ymTl7Orj0eabVcgykB8bWJfCEODbX1lTLkOBFW4StnwwTw2mAFkiknNIz6yZEMQv7GrnXKU1pBvb5IGnEThDx3TjOgCP8jspOF3zLxSCRUIGDhS+gtyz/f4jjpI030DkGg68wDZ/olLAEvVMhGKy1bo1rZYZh6J2klOLATxqIB5g1/kR8J3Qzbmbv34uaE8N5EUtZL9DZClapR+IP1wLWvaaXwsobHN2lchgeIGlA+Ieog==
Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 (2603:1096:803:1c::21) by PSBPR01MB3638.apcprd01.prod.exchangelabs.com
 (2603:1096:301:a::11) with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4669.11; Wed, 10 Nov
 2021 08:35:57 +0000
Received: from PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 ([fe80::258d:e124:fd3a:40ee]) by PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 ([fe80::258d:e124:fd3a:40ee%7]) with mapi id 15.20.4669.016; Wed, 10 Nov 2021
 08:35:57 +0000
Date: Wed, 10 Nov 2021 08:35:53 +0000
From: Foo Chuan Wei <chuanwei.foo@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH 0/1] Add smlnj.
Message-ID: <PU1PR01MB215590A376F501377C2848958D939@HIDDEN>
Mail-Followup-To: guix-patches@HIDDEN
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
X-TMN: [bW7eYMYIzptRc9n09zkQCIc1PW+mnXz3]
X-ClientProxiedBy: HK0PR03CA0102.apcprd03.prod.outlook.com
 (2603:1096:203:b0::18) To PU1PR01MB2155.apcprd01.prod.exchangelabs.com
 (2603:1096:803:1c::21)
X-Microsoft-Original-Message-ID: <20211110083553.no57bk2j4m2ms4j2@main>
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from main (202.160.33.52) by HK0PR03CA0102.apcprd03.prod.outlook.com
 (2603:1096:203:b0::18) with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4669.13 via Frontend
 Transport; Wed, 10 Nov 2021 08:35:56 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: ce37359c-e9c9-49c2-0b19-08d9a4251db8
X-MS-TrafficTypeDiagnostic: PSBPR01MB3638:
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: aVqYG4ASZUv/0rYSYWOE4WPAE7H4J3auOF4dm6oe6e8m7q6jgcDe4LyFnF3czgGFx+8MjJksdOH2nOukV5r5O91QDdohRpDbmxYCpnum2O3dwpFZxPmHihFkyVDnud6a/OFC7FMn6EG0eEST3C+sSaB6Y3s/aMNb6GuQXSdvCetN+z99QRU28JOg1amFyvohWDmsi8Sw+nKI7IFtC9AgRG+Pu/TKvM68kIczwiDO2hO8QGREUDkCpS0CIEazp/WxHgHjwqoOVX7YqbDoQus9qy2xfpMS/XiZnlp+F8Y3tG5+MsmpR8RvzgnRA0xDqptc1PfiGtG/DgYIV6umkUe//ai6hM2lXlVOJEd0qXfmsM6cpig28navEVK8EQe2qoVt9I2q0MeBbsEYlPWC30JfSmKnq/HVif9tj1zEkc868xJ5632lxjUd0FnSjISxMkxlnbOXlM3kvGxGJHVNTuB36xDyTESObd4kYqhZfA6PQ0j0cKehbzcYljmGSkAgiE3W11uZHgCZZtfVH9erR7zOKcXxqKTdbVaw0zQ3rQLdvPE7jP4T4IIi85v06pvIDRQOVrKhYQWRdoetfYofQIrN60Iyytq6zC9E5tRj5prr3ia2OKJD/ZA3CXEnp5uTo4Mw
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: M/0zeokqCZz6O3CC2fGRn7mnytIqbTmNEKNRl1l0CF9LZrHJtAvBqcyjZRDGxjTOfjsTduoO//d8AOztCYSfC5cDSpWOUCCBxEfaVNbqx9o55Ydy2T3RFga9L95lIlaOb35iBLEzX6GPYVUCL/py86ZxHEmT3ZqnyDxXP3El1WA9WktX7LkpYswzLjxZyvRZBiAb4Nl81Bg+03Y5RI/i8lugsnGh8S4rP069mVgHn8tKci5DLhYQG9oaom8vbkOgBn9LwDvuRPNGAfgcNl6bc4INUY0qssk2vADghxCcbrqKeE47zBeUtkfwi0/0kTog1C7avU8Ka4y6UkYiA3dMbHM0dgLJ10S6ATIZqxV22X3s1O6xSvorOJrsOvwRoz22Nsf7otn46XkvhbRyAmexkaeXtA50d153poBd1DUUDPfsFverdAxsYpY2UOrmsrNR+7nkEY/O+alXYx4hsyrDA4WRIKP9KfV0gDYTWbbldPm2KnP/oSUQExU/eLLPMffqRT77eRZ41x72Wkvmc8iaQhsaLqDyEK8WCuAamyGHX9MI76NWfbDibSA4q0liNzk/Zm+echqBeciV+2KE4ydpdHg1Lb9VVGr3eXkKqhNXf65KnuXK2lY5drcxLuDaJCt84avhFZ6I5NW2qN5+RhyotU+7ZE+MUiJPv4LmdtmmXsBztRTP1pZASNiLU7tzzk0VDYfoM2//VVMPyV/jqCgBvg==
X-OriginatorOrg: sct-15-20-3174-20-msonline-outlook-5c337.templateTenant
X-MS-Exchange-CrossTenant-Network-Message-Id: ce37359c-e9c9-49c2-0b19-08d9a4251db8
X-MS-Exchange-CrossTenant-AuthSource: PU1PR01MB2155.apcprd01.prod.exchangelabs.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Nov 2021 08:35:57.4368 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PSBPR01MB3638
Received-SPF: pass client-ip=40.92.254.99;
 envelope-from=chuanwei.foo@HIDDEN;
 helo=APC01-PU1-obe.outbound.protection.outlook.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, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: submit
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 patch adds Standard ML of New Jersey 110.99.2 for x86_64-linux and
i686-linux.

There are some WIP patches in the guix-patches mailing list
(https://issues.guix.gnu.org/38606), but those patches did not succeed
in building smlnj + libraries.

Note that binary patching is necessary to deal with a hardcoded
"/bin/sh" in the bootfiles. Further reading about the /bin/sh issue:
https://lists.gnu.org/archive/html/help-guix/2021-11/msg00031.html

It is not feasible to avoid pre-built binaries. The documentation itself
says:
> When pulling the latest sources via subversion, there is no guarantee
> that config/install.sh will operate successfully due to a lack of
> usable bootfiles. In this case you might be able to generate new
> bootfiles using the bootstrap compiler (of an older version). Even
> that can be very difficult or even impossible [...]
Source: https://www.smlnj.org/dist/working/110.99.2/index.html

Credits:
* Brett Gilio's smlnj patch (https://issues.guix.gnu.org/38606#3), which
  this patch builds upon.
* I got help from Josselin Poiret on IRC
  (https://logs.guix.gnu.org/guix/2021-11-08.log#135443).
* I looked at how smlnj is packaged in NixOS:
  * https://github.com/NixOS/nixpkgs/blob/21.05/pkgs/development/compilers/smlnj/default.nix
  * https://web.archive.org/web/20140704103009/http://lists.science.uu.nl/pipermail/nix-dev/attachments/20101215/e1beb921/attachment.obj


Foo Chuan Wei (1):
  gnu: Add smlnj.

 gnu/packages/sml.scm | 261 ++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 260 insertions(+), 1 deletion(-)


base-commit: 7a4a77e05ac0ff29f7769bb689358dc76e2f58f4
-- 
2.25.1





Acknowledgement sent to Foo Chuan Wei <chuanwei.foo@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#51745; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Wed, 10 Nov 2021 09:15:02 UTC

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