diff --git a/dockerfile-base b/dockerfile-base index 31a92cc070f7a37684507ec8b5c8ad28df0c7f94..ad3f929d256b8f29640593a51673e083ab592970 100644 --- a/dockerfile-base +++ b/dockerfile-base @@ -6,7 +6,7 @@ RUN apt-get -y update RUN apt-get -y upgrade --no-install-recommends \ # linux base packages - adduser bash bzip2 ca-certificates cpio curl git jq sudo unzip vim wget \ + adduser bash bison bzip2 ca-certificates cpio curl flex git jq sudo unzip vim wget \ # dev tools clang clang-format clang-tidy cppcheck doxygen gcovr lcov pkg-config valgrind \ # C/Fortran compiling tools