From 205bf5a11d5b1e4f23a97c0787a564f64cec6f56 Mon Sep 17 00:00:00 2001 From: Antonio Vivace Date: Fri, 16 May 2025 18:45:06 +0200 Subject: [PATCH] Dockerfile: install the compiled tools after the compilation (#1690) --- Dockerfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Dockerfile b/Dockerfile index 36215757..6d0ae725 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,3 +12,6 @@ RUN ./.github/scripts/install_deps.sh ubuntu-22.04 RUN make -j CXXFLAGS="-O3 -flto -DNDEBUG -static" PKG_CONFIG="pkg-config --static" Q= RUN tar caf rgbds-linux-x86_64.tar.xz --transform='s#.*/##' rgbasm rgblink rgbfix rgbgfx man/* .github/scripts/install.sh + +RUN cp man/* . +RUN ./.github/scripts/install.sh