Created
October 3, 2024 16:55
-
-
Save Skyb0rg007/a9e19cdf8bb52239bd39910edcaaba7d to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
stdenv, | |
fetchurl, | |
lib, | |
... | |
}: let | |
arch = "64"; | |
version = "110.99.6"; | |
baseurl = "http://smlnj.cs.uchicago.edu/dist/working/${version}"; | |
sources = map fetchurl [ | |
{ | |
url = "${baseurl}/boot.amd64-unix.tgz"; | |
hash = "sha256-SHUYt/jJLUiuIIgCq3F/X20r30i3+FS2VJNsMpZMvUk="; | |
} | |
{ | |
url = "${baseurl}/doc.tgz"; | |
hash = "sha256-Svv65apyManShajxZgUKrt40PWya++vVJnkAcnlx2eU="; | |
} | |
{ | |
url = "${baseurl}/config.tgz"; | |
hash = "sha256-aSOmbHFxqTOK/5xy6hNALqn6cqVXd+eJUS4N7KF/WoE="; | |
} | |
{ | |
url = "${baseurl}/cm.tgz"; | |
hash = "sha256-7RJSdgRcsm1TMFXbkUULwWpVYQzTjruG8aZemfDGuzk="; | |
} | |
{ | |
url = "${baseurl}/compiler.tgz"; | |
hash = "sha256-HcDTHYkBM13fqkclx8MXTcT9jotfv7kqLLIq6ec0Er4="; | |
} | |
{ | |
url = "${baseurl}/runtime.tgz"; | |
hash = "sha256-RgJ24Hxx7w3NzCD6VMxU+8NOKjLtDl6q8+zl0onnuB4="; | |
} | |
{ | |
url = "${baseurl}/MLRISC.tgz"; | |
hash = "sha256-6zGuS5YRPwAZqyt7pk8fgtnjy/NIWsDnC5h8FsQ7qAU="; | |
} | |
{ | |
url = "${baseurl}/smlnj-lib.tgz"; | |
hash = "sha256-kHXAFszzIR+glBJA7AjLGpGnRwh67CYO1MxZDZI4WVM="; | |
} | |
{ | |
url = "${baseurl}/old-basis.tgz"; | |
hash = "sha256-VWoDwC8DVcmCMj4Ah/MBwJQgfLsfxn3GuhaMwblp3aI="; | |
} | |
{ | |
url = "${baseurl}/ckit.tgz"; | |
hash = "sha256-jgFn4GPIWV2XcHYvCtOz/+GL1ja3L1yz4WokrOTaeXo="; | |
} | |
{ | |
url = "${baseurl}/nlffi.tgz"; | |
hash = "sha256-9vJlWTqYfpA1FKM9QsxyPTAARIbpFs6AsrCl7CHteTI="; | |
} | |
{ | |
url = "${baseurl}/cml.tgz"; | |
hash = "sha256-B/9L1U/CVygIgCAjeJsbZXlg2wncayoDnZJqDp1/cp4="; | |
} | |
{ | |
url = "${baseurl}/eXene.tgz"; | |
hash = "sha256-/z5Z+r3q6dwqXBo4Zncl313jjuWsc+p6+SrWlCJGl4E="; | |
} | |
{ | |
url = "${baseurl}/ml-lpt.tgz"; | |
hash = "sha256-0AV1f5YaPSkMjlAv9nRzuKWEZn/uTy9eMGTrhwo9TrY="; | |
} | |
{ | |
url = "${baseurl}/ml-lex.tgz"; | |
hash = "sha256-wd0QLoG4eHFQmcLs9g6Zs+XnC95v99YYzK2xq1rcB9c="; | |
} | |
{ | |
url = "${baseurl}/ml-yacc.tgz"; | |
hash = "sha256-YRIkIKQ6k3HFLCCkNuh7gSuv6mHWFJAQcENuHqRrDKI="; | |
} | |
{ | |
url = "${baseurl}/ml-burg.tgz"; | |
hash = "sha256-aeBxOHdsFNbxyQATKvX1HbeLzOHXA8Cdd+Sz6xgvi/k="; | |
} | |
{ | |
url = "${baseurl}/pgraph.tgz"; | |
hash = "sha256-16jW36yw7S40/BZ1bEyHrRWsHo/MJz1Dkzex7JZRdeg="; | |
} | |
{ | |
url = "${baseurl}/trace-debug-profile.tgz"; | |
hash = "sha256-oS1zB+1IuQCP3BCzop3UsV1RHLOI6sAUbi+JFhgw8ds="; | |
} | |
{ | |
url = "${baseurl}/heap2asm.tgz"; | |
hash = "sha256-7mbuluXzIzqg69fjVndKJ4k+NHPm2q+n/VHRa+VJ6pk="; | |
} | |
{ | |
url = "${baseurl}/smlnj-c.tgz"; | |
hash = "sha256-/cZ3vWQUSQKxBNUUQJ3U73R1bqJsVQ56A1n2BlhSAhU="; | |
} | |
]; | |
in | |
assert lib.assertMsg stdenv.is64bit "Only 64-bit for now"; | |
stdenv.mkDerivation { | |
pname = "smlnj"; | |
inherit version sources; | |
patchPhase = '' | |
sed -i '/^PATH=/d' config/_arch-n-opsys base/runtime/config/gen-posix-names.sh | |
echo SRCARCHIVEURL="file:/$TMP" > config/srcarchiveurl | |
''; | |
unpackPhase = '' | |
for s in $sources; do | |
b=$(basename $s) | |
cp $s ''${b#*-} | |
done | |
unpackFile config.tgz | |
mkdir base | |
./config/unpack $TMP runtime | |
''; | |
buildPhase = '' | |
./config/install.sh -default ${arch} | |
''; | |
installPhase = '' | |
mkdir -pv $out | |
cp -rv bin lib $out | |
cd $out/bin | |
for i in *; do | |
sed -i "2iSMLNJ_HOME=$out/" $i | |
done | |
''; | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment