diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-02-07 16:17:39 +0700 |
|---|---|---|
| committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-02-19 20:09:16 +0700 |
| commit | e03c068af5c9ca950214cd6c3b5cfe67f595da88 (patch) | |
| tree | 3a2072763efa4dae7237eeecf46fc6a95ddcd215 /pkgs/applications/science/logic/isabelle | |
| parent | 06c2bba257d77f2aeada7f943244d9afd5998645 (diff) | |
| download | nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar.gz nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar.bz2 nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar.lz nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar.xz nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.tar.zst nixpkgs-e03c068af5c9ca950214cd6c3b5cfe67f595da88.zip | |
treewide: makeWrapper buildInputs to nativeBuildInputs
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index a0f81a543f1..600ae83ff91 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -17,7 +17,8 @@ stdenv.mkDerivation rec { sha256 = "1bibabhlsvf6qsjjkgxcpq3cvl1z7r8yfcgqbhbvsiv69n3gyfk3"; }; - buildInputs = [ perl polyml z3 makeWrapper ] + nativeBuildInputs = [ makeWrapper ]; + buildInputs = [ perl polyml z3 ] ++ lib.optionals (!stdenv.isDarwin) [ nettools java ]; sourceRoot = dirname; |