| Nico Huber | d3bfc6a | 2026-04-11 20:51:50 +0000 | [diff] [blame^] | 1 | FROM debian:trixie |
| 2 | |
| 3 | RUN apt-get update && apt-get -y install wget git make gcc gnat && apt-get clean |
| 4 | |
| 5 | ARG GNATPROVE_VERSION=11.2.0-3 |
| 6 | ADD --unpack https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-${GNATPROVE_VERSION}/gnatprove-x86_64-linux-${GNATPROVE_VERSION}.tar.gz /opt |
| 7 | ENV PATH=/opt/gnatprove-x86_64-linux-${GNATPROVE_VERSION}/bin:${PATH} |
| 8 | |
| 9 | RUN useradd -p locked -m gnatbot |
| 10 | USER gnatbot |
| 11 | WORKDIR /home/gnatbot |
| 12 | |
| 13 | RUN git clone https://review.sourcearcade.org/libhwbase.git |
| 14 | RUN git clone https://review.sourcearcade.org/libgfxinit.git |
| 15 | |
| 16 | RUN cd libhwbase && git fetch origin refs/changes/75/475/1 && git rebase FETCH_HEAD |
| 17 | RUN cd libhwbase && make -j$(nproc) cnf=configs/linux install |