[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#51745] [PATCH 0/1] Add smlnj.

From: Foo Chuan Wei
Subject: [bug#51745] [PATCH 0/1] Add smlnj.
Date: Wed, 10 Nov 2021 08:35:53 +0000

This patch adds Standard ML of New Jersey 110.99.2 for x86_64-linux and

There are some WIP patches in the guix-patches mailing list
(, 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:

It is not feasible to avoid pre-built binaries. The documentation itself
> When pulling the latest sources via subversion, there is no guarantee
> that config/ 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 [...]

* Brett Gilio's smlnj patch (, which
  this patch builds upon.
* I got help from Josselin Poiret on IRC
* I looked at how smlnj is packaged in NixOS:

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

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

base-commit: 7a4a77e05ac0ff29f7769bb689358dc76e2f58f4

reply via email to

[Prev in Thread] Current Thread [Next in Thread]