1 files changed, 0 insertions, 57 deletions
diff --git a/pkgs/development/compilers/mlton/20180207-binary.nix b/pkgs/development/compilers/mlton/20180207-binary.nix
deleted file mode 100644
index 4846b58bf26b..000000000000
--- a/pkgs/development/compilers/mlton/20180207-binary.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-{ lib, stdenv, fetchurl, patchelf, gmp }:
-let
-  dynamic-linker = stdenv.cc.bintools.dynamicLinker;
-in
-stdenv.mkDerivation rec {
-  pname = "mlton";
-  version = "20180207";
-
-  src = if stdenv.hostPlatform.system == "x86_64-linux" then (fetchurl {
-    url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-linux.tgz";
-    sha256 = "0f4q575yfm5dpg4a2wsnqn4l2zrar96p6rlsk0dw10ggyfwvsjlf";
-    })
-  else if stdenv.hostPlatform.system == "x86_64-darwin" then (fetchurl {
-    url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-darwin.gmp-static.tgz";
-      sha256 = "1cw7yhw48qp12q0adwf8srpjzrgkp84kmlkqw3pz8vkxz4p9hbdv";
-    })
-  else
-    throw "Architecture not supported";
-
-  buildInputs = [ gmp ];
-  nativeBuildInputs = lib.optional stdenv.isLinux patchelf;
-
-  buildPhase = ''
-    make update \
-      CC="$(type -p cc)" \
-      WITH_GMP_INC_DIR="${gmp.dev}/include" \
-      WITH_GMP_LIB_DIR="${gmp}/lib"
-  '';
-
-  installPhase = ''
-    make install PREFIX=$out
-  '';
-
-  postFixup = lib.optionalString stdenv.isLinux ''
-    patchelf --set-interpreter ${dynamic-linker} $out/lib/mlton/mlton-compile
-    patchelf --set-rpath ${gmp}/lib $out/lib/mlton/mlton-compile
-
-    for e in mllex mlnlffigen mlprof mlyacc; do
-      patchelf --set-interpreter ${dynamic-linker} $out/bin/$e
-      patchelf --set-rpath ${gmp}/lib $out/bin/$e
-    done
-  '' + lib.optionalString stdenv.isDarwin ''
-    install_name_tool -change \
-      /opt/local/lib/libgmp.10.dylib \
-      ${gmp}/lib/libgmp.10.dylib \
-      $out/lib/mlton/mlton-compile
-
-    for e in mllex mlnlffigen mlprof mlyacc; do
-      install_name_tool -change \
-        /opt/local/lib/libgmp.10.dylib \
-        ${gmp}/lib/libgmp.10.dylib \
-        $out/bin/$e
-    done
-  '';
-
-  meta = import ./meta.nix;
-}