diff --git a/ReadMe.Compiling.md b/ReadMe.Compiling.md index d927a33a08..1191600749 100644 --- a/ReadMe.Compiling.md +++ b/ReadMe.Compiling.md @@ -69,6 +69,7 @@ The following ports need to be installed: * `mpfr` * `gmp` * `libmpc` + * `bison` (updated to the latest version) More information about individual distributions of Linux and BSD can be found at .