File tree Expand file tree Collapse file tree 3 files changed +39
-18
lines changed Expand file tree Collapse file tree 3 files changed +39
-18
lines changed Original file line number Diff line number Diff line change 185185 git clone https://github.com/mosra/m.css
186186 cd m.css
187187 git checkout 699abdd5
188- sed -i ' 2600d' documentation/doxygen.py # remove incorrect assertion
189188 cd ../
190189
191190 " $MCSS /documentation/doxygen.py" Doxyfile-mcss
Original file line number Diff line number Diff line change 1+ #! /usr/bin/env bash
2+
3+ set -exo pipefail
4+
5+ if test $# -ne 1
6+ then
7+ echo " usage: ./$0 <doxygen-version>"
8+ exit 1
9+ fi
10+
11+ doxygen_version=$1
12+ doxygen_tar_name=doxygen-" ${doxygen_version} " .linux.bin.tar.gz
13+
14+ echo " ${doxygen_tar_name} "
15+
16+ wget https://sourceforge.net/projects/doxygen/files/rel-" ${doxygen_version} " /" ${doxygen_tar_name} "
17+
18+ tar xzf " ${doxygen_tar_name} " --one-top-level=doxygen --strip-components=1
Original file line number Diff line number Diff line change @@ -13,23 +13,22 @@ ENV DEBIAN_FRONTEND=noninteractive
1313
1414RUN apt-get update -y -q && \
1515 apt-get install -y -q --no-install-recommends \
16- ca-certificates \
17- curl \
18- git \
19- mpich \
20- libmpich-dev \
21- wget \
22- ${compiler} \
23- zlib1g \
24- zlib1g-dev \
25- ninja-build \
26- doxygen \
27- python3 \
28- python3-jinja2 \
29- python3-pygments \
30- texlive-font-utils \
31- ghostscript \
32- ccache && \
16+ ${compiler} \
17+ ca-certificates \
18+ ccache \
19+ curl \
20+ ghostscript \
21+ git \
22+ libmpich-dev \
23+ mpich \
24+ ninja-build \
25+ python3 \
26+ python3-jinja2 \
27+ python3-pygments \
28+ texlive-font-utils \
29+ wget \
30+ zlib1g \
31+ zlib1g-dev &&\
3332 apt-get clean && \
3433 rm -rf /var/lib/apt/lists/*
3534
@@ -46,6 +45,11 @@ RUN ./cmake.sh 3.23.4 ${arch}
4645
4746ENV PATH=/cmake/bin/:$PATH
4847
48+ COPY ./ci/deps/doxygen.sh doxygen.sh
49+ RUN ./doxygen.sh 1.8.16
50+
51+ ENV PATH=/doxygen/bin/:$PATH
52+
4953FROM base as build
5054COPY . /vt
5155
You can’t perform that action at this time.
0 commit comments