diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Dockerfile.debian | 18 | ||||
| -rw-r--r-- | tools/Dockerfile.fedora | 18 |
2 files changed, 0 insertions, 36 deletions
diff --git a/tools/Dockerfile.debian b/tools/Dockerfile.debian deleted file mode 100644 index 76099d0..0000000 --- a/tools/Dockerfile.debian +++ /dev/null | |||
| @@ -1,18 +0,0 @@ | |||
| 1 | FROM docker.io/library/debian:buster | ||
| 2 | |||
| 3 | WORKDIR /zig | ||
| 4 | |||
| 5 | RUN apt-get update -y && apt-get install -y curl jq libsqlite3-dev xz-utils bash | ||
| 6 | |||
| 7 | RUN curl -L -s "https://ziglang.org/download/index.json" | jq '.master["x86_64-linux"].tarball' -r >> /zig/zig_master_url | ||
| 8 | RUN curl -J -o /zig/zig.tar.xz $(cat /zig/zig_master_url) | ||
| 9 | RUN tar xJf /zig/zig.tar.xz | ||
| 10 | RUN ls -lh /zig | ||
| 11 | RUN mv /zig/zig-linux-* /zig/zig-master | ||
| 12 | |||
| 13 | WORKDIR /work | ||
| 14 | |||
| 15 | COPY c c | ||
| 16 | COPY *.zig . | ||
| 17 | |||
| 18 | ENTRYPOINT ["/bin/bash"] | ||
diff --git a/tools/Dockerfile.fedora b/tools/Dockerfile.fedora deleted file mode 100644 index f907d00..0000000 --- a/tools/Dockerfile.fedora +++ /dev/null | |||
| @@ -1,18 +0,0 @@ | |||
| 1 | FROM registry.fedoraproject.org/fedora:33 | ||
| 2 | |||
| 3 | WORKDIR /zig | ||
| 4 | |||
| 5 | RUN dnf update -y && dnf install -y curl jq sqlite sqlite-devel xz bash | ||
| 6 | |||
| 7 | RUN curl -L -s "https://ziglang.org/download/index.json" | jq '.master["x86_64-linux"].tarball' -r >> /zig/zig_master_url | ||
| 8 | RUN curl -J -o /zig/zig.tar.xz $(cat /zig/zig_master_url) | ||
| 9 | RUN tar xJf /zig/zig.tar.xz | ||
| 10 | RUN ls -lh /zig | ||
| 11 | RUN mv /zig/zig-linux-* /zig/zig-master | ||
| 12 | |||
| 13 | WORKDIR /work | ||
| 14 | |||
| 15 | COPY c c | ||
| 16 | COPY *.zig . | ||
| 17 | |||
| 18 | ENTRYPOINT ["/bin/bash"] | ||