Lean4 build fails on Linux x86-64

Stream: lean4 dev

[Maximus]

I have tried building Lean 4.27.0 and 4.28.0 using clang
To build I am running:

cmake --preset release -G 'Unix Makefiles' -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_BUILD_TYPE=MINSIZEREL
make -j 4 -C build/release

Error log

I am a bit lost on what to do, because I can't figure out what the error is trying to tell me.
Using VERBOSE=1 does not give more either.
The libc impl is musl 1.2.5 in case that is relevant
Hope someone has an idea how to fix this :smile:

[Eric Wieser]

I think you've truncated the important part of the error

[Maximus]

Unfortunately that's the entire error
Screenshot

[Eric Wieser]

I meant the ... at the top of your message

[Maximus]

I have uploaded everything still in the buffer to pastebin https://pastebin.com/u0fD0AVT
If you need the entire thing I can rerun the build.