2019-03-19 21:32:01 +01:00
|
|
|
{ stdenv, fetchurl, cpio, rsync, xar, makeWrapper }:
|
2014-06-27 00:53:50 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "smlnj-bootstrap";
|
2014-06-27 00:53:50 +02:00
|
|
|
|
2019-03-19 21:32:01 +01:00
|
|
|
version = "110.91";
|
2014-06-27 00:53:50 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://smlnj.cs.uchicago.edu/dist/working/${version}/smlnj-x86-${version}.pkg";
|
2019-03-19 21:32:01 +01:00
|
|
|
sha256 = "12jn50h5jz0ac1vzld2mb94p1dyc8h0mk0hip2wj5xqk1dbzwxl4";
|
2014-06-27 00:53:50 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ cpio rsync makeWrapper ];
|
|
|
|
|
|
|
|
unpackPhase = ''
|
2019-03-19 21:32:01 +01:00
|
|
|
${xar}/bin/xar -xf $src
|
2014-06-27 00:53:50 +02:00
|
|
|
cd smlnj.pkg
|
|
|
|
'';
|
|
|
|
|
|
|
|
buildPhase = ''
|
|
|
|
cat Payload | gunzip -dc | cpio -i
|
|
|
|
'';
|
|
|
|
|
|
|
|
installPhase = ''
|
2014-07-22 11:01:32 +02:00
|
|
|
mkdir -p $out/bin
|
2014-06-27 00:53:50 +02:00
|
|
|
rsync -av bin/ $out/bin/
|
|
|
|
|
2014-07-22 11:01:32 +02:00
|
|
|
mkdir -p $out/lib
|
2014-06-27 00:53:50 +02:00
|
|
|
rsync -av lib/ $out/lib/
|
|
|
|
'';
|
|
|
|
|
|
|
|
postInstall = ''
|
|
|
|
wrapProgram "$out/bin/sml" --set "SMLNJ_HOME" "$out"
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Compiler for the Standard ML '97 programming language";
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "http://www.smlnj.org";
|
2014-06-27 00:53:50 +02:00
|
|
|
license = stdenv.lib.licenses.free;
|
|
|
|
platforms = stdenv.lib.platforms.darwin;
|
|
|
|
maintainers = [ stdenv.lib.maintainers.jwiegley ];
|
|
|
|
};
|
2018-11-16 10:14:41 +01:00
|
|
|
}
|