Add debian Dockerfile

akawashiro · Oct 13, 2023 · ca7de55 · ca7de55
1 parent 587c9ce
commit ca7de55
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/debian-Dockerfile b/debian-Dockerfile
@@ -0,0 +1,15 @@
+FROM debian:12.2
+ENV DEBIAN_FRONTEND=noninteractive
+RUN apt-get update && apt-get install -y ninja-build cmake gcc g++ git python3 python3-distutils python3-dev python3-pip nasm clang-format libcap-dev tmux zsh neovim
+RUN pip3 install torch==1.13.0+cpu -f https://download.pytorch.org/whl/torch_stable.html
+COPY . /sloader
+WORKDIR /sloader
+RUN ./build_chibicc.sh
+# TODO
+# RUN ./run-format.sh
+RUN rm -rf build
+RUN mkdir build
+RUN cmake -GNinja -S . -B build
+RUN cmake --build build
+RUN cd build && ctest --output-on-failure -j $(nproc)
+RUN ./make-sloader-itself.sh