Commit 88dd8f7 1 parent 706dc4b commit 88dd8f7 Copy full SHA for 88dd8f7
File tree 2 files changed +39
-17
lines changed
2 files changed +39
-17
lines changed 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
13
13
14
14
RUN apt-get update -y -q && \
15
15
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 &&\
33
32
apt-get clean && \
34
33
rm -rf /var/lib/apt/lists/*
35
34
@@ -46,6 +45,11 @@ RUN ./cmake.sh 3.23.4 ${arch}
46
45
47
46
ENV PATH=/cmake/bin/:$PATH
48
47
48
+ COPY ./ci/deps/doxygen.sh doxygen.sh
49
+ RUN ./doxygen.sh 1.8.16
50
+
51
+ ENV PATH=/doxygen/bin/:$PATH
52
+
49
53
FROM base as build
50
54
COPY . /vt
51
55
You can’t perform that action at this time.
0 commit comments