1 files changed, 0 insertions, 43 deletions
diff --git a/pkgs/development/compilers/mlton/from-git-source.nix b/pkgs/development/compilers/mlton/from-git-source.nix
deleted file mode 100644
index b91e6c7480da..000000000000
--- a/pkgs/development/compilers/mlton/from-git-source.nix
+++ /dev/null
@@ -1,43 +0,0 @@
-{ fetchgit
-, gmp
-, mltonBootstrap
-, url ? "https://github.com/mlton/mlton"
-, rev
-, sha256
-, stdenv
-, version
-, which
-}:
-
-stdenv.mkDerivation {
-  pname = "mlton";
-  inherit version;
-
-  src = fetchgit {
-    inherit url rev sha256;
-  };
-
-  nativeBuildInputs = [ which ];
-
-  buildInputs = [mltonBootstrap gmp];
-
-  # build fails otherwise
-  enableParallelBuilding = false;
-
-  preBuild = ''
-    find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@"
-    sed -i "s|/tmp|$TMPDIR|" bin/regression
-
-    makeFlagsArray=(
-      MLTON_VERSION="${version} ${rev}"
-      CC="$(type -p cc)"
-      PREFIX="$out"
-      WITH_GMP_INC_DIR="${gmp.dev}/include"
-      WITH_GMP_LIB_DIR="${gmp}/lib"
-      )
-  '';
-
-  doCheck = true;
-
-  meta = import ./meta.nix;
-}