diff --git a/README.md b/README.md index 5acef22b9..d8c067868 100644 --- a/README.md +++ b/README.md @@ -65,7 +65,7 @@ If you use any Linux distribution other than Ubuntu, we recommend using the [lat ``` cd mkdir build && cd build -sudo apt install libgmp-dev libmpfr-dev texinfo # required by build +sudo apt install libgmp-dev libmpfr-dev libreadline-dev texinfo # required by build ../configure --disable-nls --disable-werror --with-system-readline --with-python=`which python3` --with-system-gdbinit=/etc/gdb/gdbinit --enable-targets=all make -j7 ```