diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2014-01-05 15:20:48 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2014-01-05 15:20:48 +0100 |
| commit | 0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9 (patch) | |
| tree | cd30cc445917b971a2ba29622b6dac17377c3990 /pkgs/development/compilers/mlton | |
| parent | d91e03d422f35d043a234213e7aff4320684453c (diff) | |
| download | nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar.gz nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar.bz2 nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar.lz nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar.xz nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.tar.zst nixlib-0f3155f2460d216b5c130dfdaa5b5fe7092ea8c9.zip | |
mlton: fix build by updating
Diffstat (limited to 'pkgs/development/compilers/mlton')
| -rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index a5ff613a9b45..47c4404a818e 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -1,23 +1,26 @@ { stdenv, fetchurl, gmp }: +let + version = "20130715"; +in stdenv.mkDerivation rec { - name = "mlton-20100608"; + name = "mlton-${version}"; binSrc = if stdenv.system == "i686-linux" then (fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}-1.x86-linux.static.tgz"; - sha256 = "16qg8df9hg2pmnsblkgxp6bgm7334rsqkxqzskv5fl21wivmnwfw"; + url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}-1.x86-linux.tgz"; + sha256 = "1kxjjmnw4xk2d9hpvz43w9dvyhb3025k4zvjx785c33nrwkrdn4j"; }) else if stdenv.system == "x86_64-linux" then (fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}-1.amd64-linux.static.tgz"; - sha256 = "0i6ic8f6prl0cigrmf6bj9kqz3plzappxn17lz1rg2v832nfbw9r"; + url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}-1.amd64-linux.tgz"; + sha256 = "0fyhwxb4nmpirjbjcvk9f6w67gmn2gkz7xcgz0xbfih9kc015ygn"; }) else throw "Architecture not supported"; codeSrc = fetchurl { - url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}.src.tgz"; - sha256 = "0cqb3k6ld9965hyyfyayi510f205vqzd5qqm3crh13nasvq2rjzj"; + url = "http://sourceforge.net/projects/mlton/files/mlton/${version}/${name}.src.tgz"; + sha256 = "0v1x2hrh9hiqkvnbq11kf34v4i5a2x0ffxbzqaa8skyl26nmfn11"; }; srcs = [ binSrc codeSrc ]; |