Merge pull request #57916 from vaibhavsagar/bump-smlnjBootstrap

smlnjBootstrap: 110.84 -> 110.91
This commit is contained in:
Aaron Andersen 2019-08-04 11:31:42 -04:00 committed by GitHub
commit 4b5b41a125
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,19 +1,19 @@
{ stdenv, fetchurl, cpio, rsync, makeWrapper }:
{ stdenv, fetchurl, cpio, rsync, xar, makeWrapper }:
stdenv.mkDerivation rec {
name = "smlnj-bootstrap-${version}";
version = "110.84";
version = "110.91";
src = fetchurl {
url = "http://smlnj.cs.uchicago.edu/dist/working/${version}/smlnj-x86-${version}.pkg";
sha256 = "17fpnlxcfwx2ysg6y9c5wwx6s3jca981nb0pawfcg6xg9wcapyfz";
sha256 = "12jn50h5jz0ac1vzld2mb94p1dyc8h0mk0hip2wj5xqk1dbzwxl4";
};
buildInputs = [ cpio rsync makeWrapper ];
unpackPhase = ''
/usr/bin/xar -xf $src
${xar}/bin/xar -xf $src
cd smlnj.pkg
'';