mirror of
https://github.com/mhx/dwarfs.git
synced 2025-08-04 02:06:22 -04:00
build: use *real* ninja build tool on alpine
This commit is contained in:
parent
7f29c12316
commit
01bf972c41
@ -73,6 +73,10 @@ RUN bash /usr/local/bin/install-bloaty.sh
|
|||||||
COPY install-static-libs.sh /usr/local/bin/install-static-libs.sh
|
COPY install-static-libs.sh /usr/local/bin/install-static-libs.sh
|
||||||
RUN bash /usr/local/bin/install-static-libs.sh gcc clang-19 :alpine
|
RUN bash /usr/local/bin/install-static-libs.sh gcc clang-19 :alpine
|
||||||
|
|
||||||
|
# Install the *real* ninja...
|
||||||
|
# TODO: move this up if we change anything
|
||||||
|
RUN apk add --no-cache ninja-build
|
||||||
|
|
||||||
# Set up git & user
|
# Set up git & user
|
||||||
RUN git config --global --add safe.directory /workspace
|
RUN git config --global --add safe.directory /workspace
|
||||||
RUN adduser -G users -s bash -u 1000 -D mhx
|
RUN adduser -G users -s bash -u 1000 -D mhx
|
||||||
|
@ -74,7 +74,11 @@ NINJA_LOG_FILE="${NINJA_LOG_DIR}/${BUILD_ARCH},${BUILD_DIST},${BUILD_TYPE}.log"
|
|||||||
|
|
||||||
case "-$BUILD_TYPE-" in
|
case "-$BUILD_TYPE-" in
|
||||||
*-ninja-*)
|
*-ninja-*)
|
||||||
|
if [[ "$BUILD_DIST" == "alpine" ]]; then
|
||||||
|
BUILD_TOOL=/usr/lib/ninja-build/bin/ninja
|
||||||
|
else
|
||||||
BUILD_TOOL=ninja
|
BUILD_TOOL=ninja
|
||||||
|
fi
|
||||||
CMAKE_TOOL_ARGS="-GNinja"
|
CMAKE_TOOL_ARGS="-GNinja"
|
||||||
mkdir -p "$NINJA_LOG_DIR"
|
mkdir -p "$NINJA_LOG_DIR"
|
||||||
SAVE_BUILD_LOG="cp -a .ninja_log $NINJA_LOG_FILE"
|
SAVE_BUILD_LOG="cp -a .ninja_log $NINJA_LOG_FILE"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user