@@ -17,7 +17,7 @@ RUN apt-get update && \
17
17
18
18
# Install python
19
19
RUN apt-get update && \
20
- apt-get install -y dh-autoreconf python3-venv python3-dev python3-pip
20
+ apt-get install -y dh-autoreconf python3-venv python3-dev python3-pip gdb
21
21
22
22
# Install for basic base not containing it
23
23
RUN apt-get install -y vim wget git flex libnuma-dev tmux \
@@ -27,14 +27,14 @@ RUN apt-get install -y vim wget git flex libnuma-dev tmux \
27
27
28
28
# Install compilersx
29
29
RUN if [ -n "$gcc" ]; then \
30
- apt-get install libgmp-dev libmpc-dev libmpfr-dev libisl-dev -y && \
30
+ apt-get install libgmp-dev libmpc-dev libmpfr-dev libisl-dev binutils texinfo -y && \
31
31
cd /tmp && mkdir gcc && \
32
32
git clone git://gcc.gnu.org/git/gcc.git gcc && \
33
33
cd gcc && git checkout releases/gcc-${gcc} && \
34
34
mkdir build && cd build && \
35
35
../configure --prefix=/opt/gcc-${gcc} --enable-languages=c,c++,fortran --disable-multilib \
36
36
--enable-shared --enable-lto --enable-threads=posix --enable-libstdcxx-time=yes --enable-libgomp && \
37
- make -j $(nproc) && make install && \
37
+ make -j $(nproc) && make install-strip && \
38
38
# Update alternatives
39
39
update-alternatives --install /usr/bin/gcc gcc /opt/gcc-${gcc}/bin/gcc 60 && \
40
40
update-alternatives --install /usr/bin/g++ g++ /opt/gcc-${gcc}/bin/g++ 60 && \
@@ -59,6 +59,7 @@ RUN cd /tmp && mkdir openmpi && \
59
59
cd openmpi && ./autogen.pl && \
60
60
mkdir build && cd build && \
61
61
../configure --prefix=/opt/openmpi/ \
62
+ --disable-mpi-fortran \
62
63
--enable-mca-no-build=btl-uct --enable-mpi1-compatibility && \
63
64
make -j ${nproc} && \
64
65
make install && \
0 commit comments