diff --git a/storage/ubuntu-tiger/Dockerfile b/storage/ubuntu-tiger/Dockerfile index 0281b9ab8..9b4695b4c 100644 --- a/storage/ubuntu-tiger/Dockerfile +++ b/storage/ubuntu-tiger/Dockerfile @@ -5,7 +5,7 @@ LABEL author="Aurélien Delval-Carbonne" maintainer="aurelien.delval-carbo # General Dependencies. RUN apt update -y \ && apt install -y build-essential git g++-multilib python-is-python3 \ - && apt install -y autoconf autoconf-archive automake bison clang clang-format doxygen flex ghc libboost-dev libboost-graph-dev libboost-program-options-dev libboost-system-dev libreadline-dev libtool texinfo xsltproc + && apt install -y autoconf autoconf-archive automake bison clang clang-format doxygen flex gawk ghc libboost-dev libboost-graph-dev libboost-program-options-dev libboost-system-dev libreadline-dev libtool texinfo xsltproc # Reflex. RUN git clone https://github.com/Genivia/RE-flex.git && cd RE-flex/ && ./clean.sh && ./build.sh && ./allinstall.sh && cd ../