# Start with a base image containing build tools and libraries
FROM debian:stable

# Set the working directory
WORKDIR /src

# Install necessary build tools
RUN apt-get update && apt-get install -y \
    build-essential \
    gcc
#    g++ \
#    make \
#    wget \
#    curl \
#    git \
#    ca-certificates \
#    bison \
#    flex \
#    python3 \
#    texinfo

# Install cross-compilers for x86, ARM, MIPS, and RISC-V
RUN apt-get install -y \
    gcc-12-arm-linux-gnueabihf \
    gcc-12-mips-linux-gnu \
    gcc-12-riscv64-linux-gnu \
    gcc-12-aarch64-linux-gnu

RUN apt-get install -y \
    gcc-12-riscv32-linux-gnu \
    gcc-12-aarch64-linux-gnu

COPY * /src/

CMD bash make_objs.sh gcc -O0 && \
    bash make_objs.sh gcc -O3 && \
    bash make_objs.sh arm-linux-gnueabihf-gcc-12 -O0 && \
    bash make_objs.sh arm-linux-gnueabihf-gcc-12 -O3 && \
    bash make_objs.sh aarch64-linux-gnueabihf-gcc-12 -O0 && \
    bash make_objs.sh aarch64-linux-gnueabihf-gcc-12 -O3 && \
    bash make_objs.sh mips-linux-gnu-gcc-12 -O0 && \
    bash make_objs.sh mips-linux-gnu-gcc-12 -O3 && \
    bash make_objs.sh riscv32-linux-gnu-gcc-12 -O0 && \
    bash make_objs.sh riscv32-linux-gnu-gcc-12 -O3 && \
    bash make_objs.sh riscv64-linux-gnu-gcc-12 -O0 && \
    bash make_objs.sh riscv64-linux-gnu-gcc-12 -O3