From 7b6729acaa0b1bea5f458709891d4b27d78d66be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 10 Apr 2018 22:21:20 +0200 Subject: [PATCH] Add missing dependency to Ubuntu image For some reason, Bison is not implicitly installed along with the other dependencies in the Ubuntu 18.04 image used for continuous integration. This adds Bison explicitly. --- .ci/Dockerfile-ubuntu-18.04 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/Dockerfile-ubuntu-18.04 b/.ci/Dockerfile-ubuntu-18.04 index 359b758..4953f89 100644 --- a/.ci/Dockerfile-ubuntu-18.04 +++ b/.ci/Dockerfile-ubuntu-18.04 @@ -3,7 +3,7 @@ FROM ubuntu:18.04 ARG toolchain RUN apt-get update -RUN apt-get install -y cmake git ninja-build re2c +RUN apt-get install -y bison cmake git ninja-build re2c RUN if [ "${toolchain}" = "gcc" ]; then apt-get install -y g++; fi RUN if [ "${toolchain}" = "clang" ]; then apt-get install -y clang; fi