smlnjBootstrap: 110.84 -> 110.91
This commit is contained in:
parent
4fb87966bc
commit
a489bcbbe1
@ -1,19 +1,19 @@
|
|||||||
{ stdenv, fetchurl, cpio, rsync, makeWrapper }:
|
{ stdenv, fetchurl, cpio, rsync, xar, makeWrapper }:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "smlnj-bootstrap-${version}";
|
name = "smlnj-bootstrap-${version}";
|
||||||
|
|
||||||
version = "110.84";
|
version = "110.91";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "http://smlnj.cs.uchicago.edu/dist/working/${version}/smlnj-x86-${version}.pkg";
|
url = "http://smlnj.cs.uchicago.edu/dist/working/${version}/smlnj-x86-${version}.pkg";
|
||||||
sha256 = "17fpnlxcfwx2ysg6y9c5wwx6s3jca981nb0pawfcg6xg9wcapyfz";
|
sha256 = "12jn50h5jz0ac1vzld2mb94p1dyc8h0mk0hip2wj5xqk1dbzwxl4";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ cpio rsync makeWrapper ];
|
buildInputs = [ cpio rsync makeWrapper ];
|
||||||
|
|
||||||
unpackPhase = ''
|
unpackPhase = ''
|
||||||
/usr/bin/xar -xf $src
|
${xar}/bin/xar -xf $src
|
||||||
cd smlnj.pkg
|
cd smlnj.pkg
|
||||||
'';
|
'';
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user