diff options
Diffstat (limited to 'pkgs/development/compilers/mlton/20210117-binary.nix')
-rw-r--r-- | pkgs/development/compilers/mlton/20210117-binary.nix | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/pkgs/development/compilers/mlton/20210117-binary.nix b/pkgs/development/compilers/mlton/20210117-binary.nix deleted file mode 100644 index d4e55d47b94c..000000000000 --- a/pkgs/development/compilers/mlton/20210117-binary.nix +++ /dev/null @@ -1,60 +0,0 @@ -{ lib, stdenv, fetchurl, patchelf, gmp }: -let - dynamic-linker = stdenv.cc.bintools.dynamicLinker; -in -stdenv.mkDerivation rec { - pname = "mlton"; - version = "20210117"; - - 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-glibc2.31.tgz.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-19.6.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; -} |