Fix issue with building docker image (TRF)

57855df4 · Son Hoang Nguyen · b3b33f4b · 57855df4
Verified Commit 57855df4 authored 2 years ago by Son Hoang Nguyen
--- a/Docker/Dockerfile
+++ b/Docker/Dockerfile
@@ -9,7 +9,8 @@ WORKDIR /tools
 RUN apt-get update \
    && apt-get install -y -qq \
        git \
-        build-essential
+        build-essential \
+        automake

 RUN git clone https://gitlab.fi.muni.cz/lexa/nested.git