[Package Issue Report]: smlnj

[ripta]

Are you requesting a new package or reporting an issue on an existing one?

Reporting an issue on an existing package.

If reporting an issue on an existing one, what is the name of the package?

smlnj

What changes are you requesting?

For devbox add smlnj to be able to complete without failure. The summary of the failure is as follows:

❯ devbox add smlnj
Ensuring nixpkgs registry is downloaded.
[32.6 MiB DL]
Downloaded 'github:NixOS/nixpkgs/52665b05cfd702e12b877aa519b62374d003231a' to '/nix/store/dml25sy0999lq1na7ym7kvi6blah7vsq-source' (hash 'sha256-QOWbsKObHxNpBzrIVJrgR2TGQdwyYNFgBdoVCCvYuDU=').
Ensuring nixpkgs registry is downloaded: Success
Info: Adding package "smlnj@latest" to devbox.json

Installing package: smlnj.

[1/1] smlnj
error: builder for '/nix/store/zc8il0j2dakbm9scjg7l7zcw8az6w0f1-smlnj-110.95.drv' failed with exit code 2;
       last 10 log lines:
       > no configure script, doing nothing
       > building
       > ./config/install.sh: Using shell /bin/sh.
       > ./config/install.sh: SML root is /private/tmp/nix-build-smlnj-110.95.drv-0.
       > ./config/install.sh: Installation directory is /private/tmp/nix-build-smlnj-110.95.drv-0.
       > ./config/install.sh: Installing version 110.95.
       > ./config/install.sh: URL of source archive is file://private/tmp/nix-build-smlnj-110.95.drv-0.
       > ./config/install.sh: installing /private/tmp/nix-build-smlnj-110.95.drv-0/bin/.arch-n-opsys
       > ./config/install.sh: !!! Script /private/tmp/nix-build-smlnj-110.95.drv-0/bin/.arch-n-opsys fails on this machine.
       > ./config/install.sh: !!! You must patch /private/tmp/nix-build-smlnj-110.95.drv-0/bin/.arch-n-opsys by hand and repeat the installation.
       For full logs, run 'nix-store -l /nix/store/zc8il0j2dakbm9scjg7l7zcw8az6w0f1-smlnj-110.95.drv'.
[1/1] smlnj: Fail

Error: There was an error installing nix packages
source: error installing package smlnj: error running "nix profile install": exit status 1

Error: There was an internal error. Run with DEVBOX_DEBUG=1 for a detailed error message, and consider reporting it at https://github.com/jetpack-io/devbox/issues

Additional context

The full output of re-running with DEVBOX_DEBUG=1 is here: https://gist.github.com/ripta/3062211670e5e3b0bdbcfd8001619ad9