commit e37100306d3330f3a542fb8839f5bc56ba6ad0fa
author Davide Pesavento <davidepesa@gmail.com> Mon Feb 05 19:57:05 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Mon Feb 05 23:34:05 2024 -0500
tree d093b92635680402967a130ae14e26374a598054
parent 4dc4b3cc21b3900568b427784c77cb3762bf0f4f

ci: minimize installed libboost packages

Change-Id: I69f5f2198cdc74db0f41619b678eff2c24a76983

Dockerfile

diff --git a/Dockerfile b/Dockerfile
index 8db7b31..4a9b699 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,16 +3,15 @@
 RUN apt-get update \
     && apt-get install -y --no-install-recommends \
         dpkg-dev \
-        libboost-atomic-dev \
         libboost-chrono-dev \
         libboost-date-time-dev \
+        libboost-dev \
         libboost-filesystem-dev \
         libboost-iostreams-dev \
         libboost-log-dev \
         libboost-program-options-dev \
-        libboost-regex-dev \
         libboost-stacktrace-dev \
-        libboost-system-dev \
+        libboost-thread-dev \
         pkg-config \
     && rm -rf /var/lib/apt/lists/*