From 581f443f2812a044967f3942e15d0827408b192f Mon Sep 17 00:00:00 2001 From: Pete Gadomski Date: Thu, 15 Sep 2022 11:42:42 -0600 Subject: [PATCH] ci: use build-essential for dev image Sometimes a wheel isn't provided so we need to build. Doesn't cost much since its the dev container anyways. --- docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index a749ba3a..f7588d7a 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -24,7 +24,7 @@ RUN pip install --prefix=/install .[all] \ FROM base AS dev # Install make for the docs build RUN apt-get update \ - && apt-get install -y make \ + && apt-get install -y make build-essential \ && rm -rf /var/lib/apt/lists/* COPY --from=dep_builder /install /opt/conda RUN conda install -c conda-forge pandoc && conda clean -af