Add 'src/toolchain/' from commit '00ce00c246766b8a2ce09b96cf23b812a04…

…d03a4' git-subtree-dir: src/toolchain git-subtree-mainline: cfefeb5 git-subtree-split: 00ce00c
tkhq · Oct 17, 2023 · eba716c · eba716c
2 parents cfefeb5 + 00ce00c
commit eba716c
Show file tree

Hide file tree

Showing 8 changed files with 733 additions and 0 deletions.
diff --git a/src/toolchain/Dockerfile b/src/toolchain/Dockerfile
@@ -0,0 +1,12 @@
+ARG DEBIAN_HASH
+FROM debian@sha256:${DEBIAN_HASH} as build-base
+
+ARG CONFIG_DIR
+ADD ${CONFIG_DIR} /config
+
+ARG SCRIPTS_DIR
+ADD ${SCRIPTS_DIR} /usr/local/bin
+
+ARG FETCH_DIR
+RUN --mount=type=bind,source=fetch,target=/fetch,rw \
+    packages-install