@@ -17,7 +17,7 @@ RUN apt-get update && \
1717
1818# Install python
1919RUN 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
2121
2222# Install for basic base not containing it
2323RUN 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 \
2727
2828# Install compilersx
2929RUN 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 && \
3131 cd /tmp && mkdir gcc && \
3232 git clone git://gcc.gnu.org/git/gcc.git gcc && \
3333 cd gcc && git checkout releases/gcc-${gcc} && \
3434 mkdir build && cd build && \
3535 ../configure --prefix=/opt/gcc-${gcc} --enable-languages=c,c++,fortran --disable-multilib \
3636 --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 && \
3838 # Update alternatives
3939 update-alternatives --install /usr/bin/gcc gcc /opt/gcc-${gcc}/bin/gcc 60 && \
4040 update-alternatives --install /usr/bin/g++ g++ /opt/gcc-${gcc}/bin/g++ 60 && \
@@ -59,6 +59,7 @@ RUN cd /tmp && mkdir openmpi && \
5959 cd openmpi && ./autogen.pl && \
6060 mkdir build && cd build && \
6161 ../configure --prefix=/opt/openmpi/ \
62+ --disable-mpi-fortran \
6263 --enable-mca-no-build=btl-uct --enable-mpi1-compatibility && \
6364 make -j ${nproc} && \
6465 make install && \
0 commit comments