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
warning: z3-sys@0.8.1:Compiler family detection failed due to error:ToolNotFound:Failed to find tool.Is `musl-g++` installed?
error: failed to run custom build command for `z3-sys v0.8.1(https://github.com/prove-rs/z3.rs.git#b47f3af5)`
Caused by:
process didn't exit successfully: `/home/runner/work/MIRAI/MIRAI/target/dist/build/z3-sys-59e03201548c191e/build-script-build` (exit status:101)
--- stdout
CMAKE_TOOLCHAIN_FILE_x86_64-unknown-linux-musl = NoneCMAKE_TOOLCHAIN_FILE_x86_64_unknown_linux_musl = NoneTARGET_CMAKE_TOOLCHAIN_FILE = NoneCMAKE_TOOLCHAIN_FILE = NoneCMAKE_GENERATOR_x86_64-unknown-linux-musl = NoneCMAKE_GENERATOR_x86_64_unknown_linux_musl = NoneTARGET_CMAKE_GENERATOR = NoneCMAKE_GENERATOR = None
cargo:warning=Compiler family detection failed due to error:ToolNotFound:Failed to find tool.Is `musl-g++` installed?
CMAKE_PREFIX_PATH_x86_64-unknown-linux-musl = NoneCMAKE_PREFIX_PATH_x86_64_unknown_linux_musl = NoneTARGET_CMAKE_PREFIX_PATH = NoneCMAKE_PREFIX_PATH = NoneCMAKE_x86_64-unknown-linux-musl = NoneCMAKE_x86_64_unknown_linux_musl = NoneTARGET_CMAKE = NoneCMAKE = None
running: cd "/home/runner/work/MIRAI/MIRAI/target/x86_64-unknown-linux-musl/dist/build/z3-sys-9c60c95a3920e9aa/out/build" && CMAKE_PREFIX_PATH="""cmake""/home/runner/.cargo/git/checkouts/z3.rs-5e2ffa4[244](https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967210253#step:7:245)686114/b47f3af/z3-sys/z3""-DZ3_BUILD_LIBZ3_SHARED=false""-DZ3_BUILD_EXECUTABLE=false""-DZ3_BUILD_TEST_EXECUTABLES=false""-DCMAKE_SYSTEM_NAME=Linux""-DCMAKE_SYSTEM_PROCESSOR=x86_64""-DCMAKE_INSTALL_PREFIX=/home/runner/work/MIRAI/MIRAI/target/x86_64-unknown-linux-musl/dist/build/z3-sys-9c60c95a3920e9aa/out""-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -static""-DCMAKE_C_COMPILER=/usr/bin/musl-gcc""-DCMAKE_CXX_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -static""-DCMAKE_CXX_COMPILER=musl-g++""-DCMAKE_ASM_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -static""-DCMAKE_ASM_COMPILER=/usr/bin/musl-gcc""-DCMAKE_BUILD_TYPE=RelWithDebInfo"
-- TheCXX compiler identification is unknown
-- Configuring incomplete, errors occurred!
--- stderr
CMakeError at CMakeLists.txt:5(project):TheCMAKE_CXX_COMPILER:
musl-g++
is not a full path and was not found in the PATH.TellCMakewhere to find the compiler by setting either the environment
variable"CXX" or the CMake cache entry CMAKE_CXX_COMPILER to the full path
to the compiler, or to the compiler name if it is in the PATH.thread'main' panicked at /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/cmake-0.1.50/src/lib.rs:1098:5:
command did not execute successfully, got: exit status:1
build script failed, must exit now
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
warning: build failed, waiting for other jobs to finish...
× failed to find bin cargo-mirai for mirai 1.1.9(path+file:///home/runner/work/MIRAI/MIRAI/checker)
help: did the above build fail?
https://github.com/os-checker/MIRAI/actions/runs/10803406690/job/29967210253
ref: axodotdev/cargo-dist#518
The text was updated successfully, but these errors were encountered: