Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Install latest doxygen in CI #2441

Merged
merged 2 commits into from
Nov 9, 2022
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 16 additions & 1 deletion docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,7 @@


ARG ADIOS2_VERSION=2.8.3
ARG DOXYGEN_VERSION=1_9_5
ARG GMSH_VERSION=4_10_5
ARG HDF5_SERIES=1.12
ARG HDF5_PATCH=2
Expand All @@ -70,6 +71,7 @@ FROM ubuntu:22.04 as dev-env
LABEL maintainer="fenics-project <[email protected]>"
LABEL description="FEniCS testing and development environment with PETSc real, complex, 32-bit and 64-bit modes"

ARG DOXYGEN_VERSION
ARG GMSH_VERSION
ARG HDF5_SERIES
ARG HDF5_PATCH
Expand Down Expand Up @@ -133,7 +135,6 @@ RUN export DEBIAN_FRONTEND=noninteractive && \
apt-get -y install \
catch2 \
clang-format \
doxygen \
git \
graphviz \
libeigen3-dev \
Expand All @@ -153,6 +154,20 @@ RUN export DEBIAN_FRONTEND=noninteractive && \
apt-get clean && \
rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*

# Install Doxygen
RUN apt-get -qq update && \
apt-get -y install bison flex && \
wget -nc --quiet https://github.com/doxygen/doxygen/archive/refs/tags/Release_${DOXYGEN_VERSION}.tar.gz && \
tar xfz Release_${DOXYGEN_VERSION}.tar.gz && \
cd doxygen-Release_${DOXYGEN_VERSION} && \
cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -B build-dir . && \
cmake --build build-dir && \
cmake --install build-dir && \
apt-get -y purge bison flex && \
apt-get -y autoremove && \
apt-get clean && \
rm -rf /tmp/*

# Install MPI
RUN if [ "$MPI" = "mpich" ]; then \
wget http://www.mpich.org/static/downloads/${MPICH_VERSION}/mpich-${MPICH_VERSION}.tar.gz && \
Expand Down