diff options
| author | Sophia Donataccio <srdqty@gmail.com> | 2018-10-11 23:58:25 -0400 |
|---|---|---|
| committer | Sophia Donataccio <srdqty@gmail.com> | 2018-10-11 23:58:25 -0400 |
| commit | 0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4 (patch) | |
| tree | 81a59ca1dc73c1a0e3d397cf463c120ff7a8d162 | |
| parent | 60ae563293ec956d683e3b9a62dbdef46f71437e (diff) | |
| download | nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.gz nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.bz2 nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.lz nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.xz nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.zst nixpkgs-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.zip | |
mlton: use stdenv.cc.bintools.dynamicLinker
| -rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index 0b991e22fa9..63fa3445b44 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -5,9 +5,7 @@ let usr_prefix = if stdenv.isDarwin then "usr/local" else "usr"; - dynamic_linker = - if stdenv.isx86_64 then "${stdenv.glibc.out}/lib/ld-linux-x86-64.so.2" - else "${stdenv.glibc.out}/lib/ld-linux.so.2"; + dynamic_linker = stdenv.cc.bintools.dynamicLinker; in stdenv.mkDerivation rec { |