docker/Dockerfile at main · LAL-project/docker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
FROM ubuntu:24.04

RUN \
	apt update \
	&& \
	apt upgrade -y \
	&& \
	apt install -y \
		software-properties-common \
		wget \
		git \
		gcc-14 \
		g++-14 \
		libgmp-dev \
		cmake \
		automake \
		autoconf \
		make \
		texlive-font-utils \
		texlive-bibtex-extra \
		ghostscript \
		doxygen \
		locales \
		libpcre2-dev \
		libpcre3 \
		libpcre3-dev \
		yacc \
		bison \
	&& \
	apt install -y \
		python3.12 \
		python3.12-dev \
		python3.12-venv \
	&& \
	apt clean

RUN \
	echo "source /workspace/scripts/bashrc_template.sh" >> /root/.bash_profile && \
	echo "source /workspace/scripts/bashrc_template.sh" >> /root/.bashrc

RUN \
	update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-14 100 && \
	update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-14 100

CMD bash