File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -27,8 +27,42 @@ RUN apt-get update && apt-get install -y \
2727 libboost-all-dev \
2828 cmake \
2929 libtbb-dev \
30+ flex \
31+ bison \
32+ dejagnu \
33+ libmpc-dev \
34+ libmpfr-dev \
35+ libgmp-dev \
3036 && rm -rf /var/lib/apt/lists/*
3137
38+
39+ # Download and build GCC 13.4
40+ RUN wget https://ftp.gnu.org/gnu/gcc/gcc-13.4.0/gcc-13.4.0.tar.gz && \
41+ tar -xzf gcc-13.4.0.tar.gz && \
42+ cd gcc-13.4.0 && \
43+ ./contrib/download_prerequisites && \
44+ mkdir build && \
45+ cd build && \
46+ ../configure --prefix=/usr/local/gcc-13.4.0 \
47+ --enable-languages=c,c++ \
48+ --disable-multilib \
49+ --disable-bootstrap \
50+ --enable-checking=release && \
51+ make -j$(nproc) && \
52+ make install && \
53+ cd ../.. && \
54+ rm -rf gcc-13.4.0 gcc-13.4.0.tar.gz
55+
56+ # Set up GCC 13.4 as the default compiler
57+ ENV PATH="/usr/local/gcc-13.4.0/bin:${PATH}"
58+ ENV LD_LIBRARY_PATH="/usr/local/gcc-13.4.0/lib64:${LD_LIBRARY_PATH}"
59+ ENV CC="/usr/local/gcc-13.4.0/bin/gcc"
60+ ENV CXX="/usr/local/gcc-13.4.0/bin/g++"
61+
62+ # Create symlinks for easier access
63+ RUN ln -sf /usr/local/gcc-13.4.0/bin/gcc /usr/local/bin/gcc && \
64+ ln -sf /usr/local/gcc-13.4.0/bin/g++ /usr/local/bin/g++
65+
3266# Install Make 4.4.1
3367RUN wget https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz && \
3468 tar -xzf make-4.4.1.tar.gz && \
You can’t perform that action at this time.
0 commit comments