diff --git a/docker/Dockerfile-ubuntu-20.04 b/docker/Dockerfile-ubuntu-20.04 index 6a0be29..cc07699 100644 --- a/docker/Dockerfile-ubuntu-20.04 +++ b/docker/Dockerfile-ubuntu-20.04 @@ -19,6 +19,7 @@ RUN apt-get update -qq && DEBIAN_FRONTEND="noninteractive" apt-get install -qq \ flex \ bison \ clang \ + libc++-dev \ && apt-get clean -qq RUN cd ${HOME} && wget -O - https://apt.kitware.com/keys/kitware-archive-latest.asc 2>/dev/null | gpg --dearmor - | tee /etc/apt/trusted.gpg.d/kitware.gpg >/dev/null \ diff --git a/docker/Dockerfile-ubuntu-21.10 b/docker/Dockerfile-ubuntu-21.10 index 2f5c7d6..e179e58 100644 --- a/docker/Dockerfile-ubuntu-21.10 +++ b/docker/Dockerfile-ubuntu-21.10 @@ -19,6 +19,7 @@ RUN apt-get update -qq && DEBIAN_FRONTEND="noninteractive" apt-get install -qq \ flex \ bison \ clang \ + libc++-dev \ && apt-get clean -qq diff --git a/docker/Dockerfile-ubuntu-22.04 b/docker/Dockerfile-ubuntu-22.04 index f226f24..25283d7 100644 --- a/docker/Dockerfile-ubuntu-22.04 +++ b/docker/Dockerfile-ubuntu-22.04 @@ -19,6 +19,7 @@ RUN apt-get update -qq && DEBIAN_FRONTEND="noninteractive" apt-get install -qq \ flex \ bison \ clang \ + libc++-dev \ && apt-get clean -qq