diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix index 3528dbd3a647..d4fdbfd6937c 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/why3/with-provers.nix @@ -15,7 +15,8 @@ in stdenv.mkDerivation { phases = [ "buildPhase" "installPhase" ]; - buildInputs = [ why3 makeWrapper ] ++ provers; + nativeBuildInputs = [ makeWrapper ]; + buildInputs = [ why3 ] ++ provers; buildPhase = '' mkdir -p $out/share/why3/ |