diff --git a/pkgs/development/compilers/mlton/20130715.nix b/pkgs/development/compilers/mlton/20130715.nix index ed460b7e5cfe..766111dc012a 100644 --- a/pkgs/development/compilers/mlton/20130715.nix +++ b/pkgs/development/compilers/mlton/20130715.nix @@ -29,11 +29,6 @@ stdenv.mkDerivation rec { url = "mirror://sourceforge/project/mlton/mlton/${version}/${pname}-${version}-1.amd64-linux.tgz"; hash = "sha256-9vkSAJsJRrc6+I/18+cTtr5juHFpbiaXzPFWS1bn0Ds="; }) - else if stdenv.hostPlatform.system == "x86_64-darwin" then - (fetchurl { - url = "mirror://sourceforge/project/mlton/mlton/${version}/${pname}-${version}-1.amd64-darwin.gmp-macports.tgz"; - hash = "sha256-qb//O8Wnk+hDBvmM1g8ZWoE5kCkA+W4QctE8CBO0nBA="; - }) else throw "Architecture not supported"; @@ -76,9 +71,6 @@ stdenv.mkDerivation rec { '' + lib.optionalString stdenv.cc.isClang '' sed -i "s_ patch -s -p0