From d5b74295407ef58c066ecd8801b1e0ad220812ea Mon Sep 17 00:00:00 2001 From: Arkadiusz Janz <arkadiusz.janz@pwr.edu.pl> Date: Tue, 14 Apr 2020 20:28:50 +0000 Subject: [PATCH] Update Dockerfile --- Dockerfile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 8a9ce5c..20d5f81 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,7 +5,9 @@ ARG APT_PASSWORD RUN test -n "$APT_USERNAME" RUN test -n "$APT_PASSWORD" -RUN apt-get update && apt-get install -y transport-https +RUN apt-get update && apt-get install -y apt-transport-https \ + antlr \ + cmake RUN bash -c "wget -q -O - http://apt.clarin-pl.eu/KEY.gpg | apt-key add -" RUN bash -c "echo 'deb https://apt.clarin-pl.eu/ /' > /etc/apt/sources.list.d/clarin.list" -- GitLab