1  
2  RUN apt install --no-install-recommends -y \
3      libgmp-dev \
4      libmpfr-dev \
5      libmpc-dev \
6      flex \
7      bison