diff options
| author | Will Dietz <w@wdtz.org> | 2018-09-27 16:38:10 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-09-28 11:43:16 -0500 |
| commit | eb91037e7b5de99d887b4f58287e99abeeea05de (patch) | |
| tree | f97fbcd1b8392d022890f94a2cf4a8101778e7d4 /pkgs/development/compilers/mlton/default.nix | |
| parent | 196c405efb957a4c419b5eef5b6639ce95604fc8 (diff) | |
tree-wide: patchelf used during build -> nativeBuildInputs
In a few cases it wasn't clear so I left them as-is. While visiting these moved other things to nativeBuildInputs when it was clear they were one of these cases: * makeWrapper * archive utilities (in order to unpack src) * a few of these might no longer be needed but leaving for another day
Diffstat (limited to 'pkgs/development/compilers/mlton/default.nix')
| -rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index 6b6907b0b2e64..0b991e22fa988 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -38,7 +38,8 @@ stdenv.mkDerivation rec { sourceRoot = name; - buildInputs = [ gmp ] ++ stdenv.lib.optional stdenv.isLinux patchelf; + buildInputs = [ gmp ]; + nativeBuildInputs = stdenv.lib.optional stdenv.isLinux patchelf; makeFlags = [ "all-no-docs" ]; |