diff options
| author | Karn Kallio <tierpluspluslists@gmail.com> | 2012-04-22 20:39:43 +0000 |
|---|---|---|
| committer | Karn Kallio <tierpluspluslists@gmail.com> | 2012-04-22 20:39:43 +0000 |
| commit | 50cab85e88ca3272179e6bf1f5e9927b2b5ec411 (patch) | |
| tree | 1256c7ff29e3bf052c0c0e3249dc940c30409982 /pkgs/development/compilers/mlton | |
| parent | 75692dfc1e9af219cb887734e80a4a51b4633acc (diff) | |
Fix mlton build: apply Marc Weber patch and update download URL.
svn path=/nixpkgs/trunk/; revision=33882
Diffstat (limited to 'pkgs/development/compilers/mlton')
| -rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index c7217f820a7f..770a6b17b158 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -5,18 +5,18 @@ stdenv.mkDerivation rec { binSrc = if stdenv.system == "i686-linux" then (fetchurl { - url = "http://mlton.org/pages/Download/attachments/${name}-1.x86-linux.static.tgz"; + url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}-1.x86-linux.static.tgz"; sha256 = "16qg8df9hg2pmnsblkgxp6bgm7334rsqkxqzskv5fl21wivmnwfw"; }) else if stdenv.system == "x86_64-linux" then (fetchurl { - url = "http://mlton.org/pages/Download/attachments/${name}-1.amd64-linux.static.tgz"; + url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}-1.amd64-linux.static.tgz"; sha256 = "0i6ic8f6prl0cigrmf6bj9kqz3plzappxn17lz1rg2v832nfbw9r"; }) else throw "Architecture not supported"; codeSrc = fetchurl { - url = "http://mlton.org/pages/Download/attachments/${name}.src.tgz"; + url = "http://sourceforge.net/projects/mlton/files/mlton/20100608/${name}.src.tgz"; sha256 = "0cqb3k6ld9965hyyfyayi510f205vqzd5qqm3crh13nasvq2rjzj"; }; @@ -30,9 +30,7 @@ stdenv.mkDerivation rec { configurePhase = '' # Fix paths in the source. - for f in $(find $(pwd) -type f ) ; do - substituteInPlace $f --replace '/usr/bin/env bash' $(type -p bash) - done + find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@" substituteInPlace $(pwd)/Makefile --replace '/bin/cp' $(type -p cp) |