1
0
Fork 0

Merging upstream version 2.12.

Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-03-20 08:10:44 +01:00
parent 078c0dbcc0
commit 635faa7346
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
571 changed files with 10718 additions and 2738 deletions

View file

@ -193,11 +193,10 @@ tools_build_muon() {
CC="${CC}" CFLAGS="${CFLAGS} -std=c99" ninja="${SAMU}" ./bootstrap.sh stage1
CC="${CC}" ninja="${SAMU}" stage1/muon setup \
-Dprefix="${TOOLDIR}" \
-Ddocs=disabled \
-Dsamurai=disabled \
-Dbestline=disabled \
CC="${CC}" ninja="${SAMU}" stage1/muon-bootstrap setup \
-Dprefix="${TOOLDIR}" \
-Ddocs=disabled \
-Dsamurai=disabled \
"${TOOLDIR}/build-muon"
"${SAMU}" -C "${TOOLDIR}/build-muon"
MUON="${BUILDDIR}/build-tools/.build-muon/muon"