diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix')
| -rw-r--r-- | infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix index 1c33d923289f..da8985818e7b 100644 --- a/infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix +++ b/infra/libkookie/nixpkgs/pkgs/applications/science/logic/tlaplus/toolbox.nix @@ -28,7 +28,7 @@ in stdenv.mkDerivation { sha256 = "0v15wscawair5bghr5ixb4i062kmh9by1m0hnz2r1sawlqyafz02"; }; - buildInputs = [ makeWrapper ]; + nativeBuildInputs = [ makeWrapper ]; phases = [ "installPhase" ]; |