Add bison to hostInputs in k.nix
{ lib, mavenix, cleanGit, cleanSourceWith, runCommand, makeWrapper
-, flex, gcc, git, gmp, jdk, mpfr, ncurses, pkgconfig, python3, z3
+, bison, flex, gcc, git, gmp, jdk, mpfr, ncurses, pkgconfig, python3, z3
, haskell-backend, prelude-kore, llvm-backend
}:
@@ -84,7 +84,7 @@ in
let
hostInputs = [
- flex gcc gmp jdk mpfr ncurses pkgconfig python3 z3
+ bison flex gcc gmp jdk mpfr ncurses pkgconfig python3 z3
haskell-backend llvm-backend
];
# PATH used at runtime
