From 790e4093ef53c1dee9412664f28cc649587f4297 Mon Sep 17 00:00:00 2001 From: tooomm Date: Sat, 18 Jul 2026 18:05:48 +0200 Subject: [PATCH] use ninja and cmake build --- Dockerfile | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index 7c5c773c9..78f60ca77 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,6 +6,7 @@ ARG DEBIAN_FRONTEND=noninteractive RUN apt-get update && apt-get install -y --no-install-recommends \ build-essential \ cmake \ + ninja-build \ file \ g++ \ git \ @@ -19,10 +20,13 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ WORKDIR /src COPY . . -RUN mkdir build && cd build && \ - cmake .. -DWITH_SERVER=1 -DWITH_CLIENT=0 -DWITH_ORACLE=0 && \ - make -j$(nproc) && \ - make install +RUN cmake -S . -B build \ + -G Ninja \ + -DWITH_SERVER=1 \ + -DWITH_CLIENT=0 \ + -DWITH_ORACLE=0 \ + && cmake --build build \ + && cmake --install build # -------- Runtime Stage (clean) --------