diff options
| author | Andrew Childs <lorne@cons.org.nz> | 2020-10-13 16:03:49 +0900 |
|---|---|---|
| committer | Andrew Childs <lorne@cons.org.nz> | 2020-10-21 13:26:53 +0900 |
| commit | 722d02a720124e55bf0bc0c6b4c4d6f4dc70d096 (patch) | |
| tree | 7ea2e7b195ef8f027f8d25fb4b99952187c3805f /pkgs/applications/science/logic | |
| parent | 2a905c8616662b0e5fd5d4d3979ac4a3bc914b15 (diff) | |
treewide: move fixDarwinDylibNames to nativeBuildInputs
This hook runs at build time and depends on executing
install_name_tool from binutils.
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 88aafcdae222..dd71cf2cb1a8 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -22,7 +22,8 @@ stdenv.mkDerivation rec { sha256 = "1hnbzq10d23drd7ksm3c1n2611c3kd0q0yxgz8y78zaafwczvwxx"; }; - buildInputs = [ python fixDarwinDylibNames ] + nativeBuildInputs = optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames; + buildInputs = [ python ] ++ optional javaBindings jdk ++ optionals ocamlBindings [ ocaml findlib zarith ] ; |