diff --git a/docker-images/build.sh b/docker-images/build.sh deleted file mode 100755 index 5a9b541..0000000 --- a/docker-images/build.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env bash - -p=$(dirname "$0") - -for dockerfile in "$p"/*.Dockerfile; do - imgname=$(basename "$dockerfile" .Dockerfile) - echo "Building $dockerfile" - - docker build "$p" -t "$imgname:latest" -f "$dockerfile" -done diff --git a/docker-images/debian12.Dockerfile b/docker-images/debian12.Dockerfile deleted file mode 100644 index 80cccbf..0000000 --- a/docker-images/debian12.Dockerfile +++ /dev/null @@ -1,6 +0,0 @@ -FROM debian:12 - -RUN apt-get update && apt-get install -y build-essential clang git curl - -RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs -o rustup-init.sh -RUN sh rustup-init.sh -y && rm rustup-init.sh