From 424f83ed94f83451270a5c74df743edf393117e7 Mon Sep 17 00:00:00 2001 From: Gent Semaj Date: Sat, 23 May 2026 23:09:18 -0700 Subject: [PATCH] Add script to build in Docker --- Dockerfile | 4 ++++ build_docker.sh | 1 + 2 files changed, 5 insertions(+) create mode 100755 build_docker.sh diff --git a/Dockerfile b/Dockerfile index 2fba817..a31fd61 100644 --- a/Dockerfile +++ b/Dockerfile @@ -20,6 +20,10 @@ RUN sed -i 's/^CXX=clang++$/&-18/' Makefile RUN make nosandbox -j$(nproc) +# export-only stage: `docker build --target=export --output=./bin .` +FROM scratch AS export +COPY --from=build /usr/src/app/bin/fusion /fusion + # prod FROM alpine:3 diff --git a/build_docker.sh b/build_docker.sh new file mode 100755 index 0000000..772f75f --- /dev/null +++ b/build_docker.sh @@ -0,0 +1 @@ +docker build --target=export --output=./bin .