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 /pkgs/development/compilers | |
parent | 60ae563293ec956d683e3b9a62dbdef46f71437e (diff) | |
download | nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.gz nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.bz2 nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.lz nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.xz nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.tar.zst nixlib-0fc9fdf7f2e6bc36224275cebebb4992c7d31ea4.zip |
mlton: use stdenv.cc.bintools.dynamicLinker
Diffstat (limited to 'pkgs/development/compilers')
-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 0b991e22fa98..63fa3445b44c 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 { |