You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Recently, stage 2 on debian bullseye (amd64) is failing with:
-- flang project is disabled
CMake Warning at cmake/modules/FindZ3.cmake:116 (message):
Failed to determine Z3 library version, defaulting to 0.0.0.
Call Stack (most recent call first):
CMakeLists.txt:506 (find_package)
-- Could NOT find Z3: Found unsuitable version "0.0.0", but required is at least "4.7.1" (found Z3_LIBRARIES-NOTFOUND)
CMake Error at CMakeLists.txt:515 (message):
LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.
Enabling the debug -DCMAKE_FIND_DEBUG_MODE=ON
it is searching the libs in /usr/lib/x86_64-pc-linux-gnu/
while the lib is in /usr/lib/x86_64-linux-gnu/
Recently, stage 2 on debian bullseye (amd64) is failing with:
Enabling the debug
-DCMAKE_FIND_DEBUG_MODE=ON
it is searching the libs in
/usr/lib/x86_64-pc-linux-gnu/
while the lib is in
/usr/lib/x86_64-linux-gnu/
de4364f was ok
@MaskRay any idea what changed recently ? thanks!
The text was updated successfully, but these errors were encountered: