Fails to Build in Linux

[Wright4TheJob]

This may be a similar issue report to #192 or #87 but I hope more data is helpful for a more robust next update.

Operating System: Pop!_OS 22.04 (Ubuntu based) Cargo 1.65.0 Rust 2021 Edition

I'm using a fairly minimal test program right now where Z3 and UUId are my only imports. Although I installed Z3 from my package manager I get compile errors from the system compiler (not Cargo) when I attempt to build my library either with a stock Z3 install or with the statically linked library. Both error messages are listed below. I hope one of these errors is simply a mis-configuration on my end.

With this in my Cargo.toml [dependencies]: z3 = "0.11" This happens:

error: failed to run custom build command for `z3-sys v0.7.1`

Caused by:
  process didn't exit successfully: `/mnt/HotStorage/Github/ProcessScheduler-rs/target/debug/build/z3-sys-1fb3603f5ca04cca/build-script-build` (exit status: 101)
  --- stdout
  cargo:rerun-if-changed=build.rs
  cargo:rerun-if-changed=wrapper.h

  --- stderr
  wrapper.h:1:10: fatal error: 'z3.h' file not found
  wrapper.h:1:10: fatal error: 'z3.h' file not found, err: true
  thread 'main' panicked at 'Unable to generate bindings: ()', /home/davidwright/.cargo/registry/src/github.com-1ecc6299db9ec823/z3-sys-0.7.1/build.rs:33:14
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

And with this in my Cargo.toml [dependencies]: z3 = {version="0.11.2", features = ["static-link-z3"]}

error: failed to run custom build command for `z3-sys v0.7.1`

Caused by:
  process didn't exit successfully: `/mnt/HotStorage/Github/ProcessScheduler-rs/target/debug/build/z3-sys-1e95f688b8cf2962/build-script-build` (exit status: 101)
  --- stdout
  CMAKE_TOOLCHAIN_FILE_x86_64-unknown-linux-gnu = None
  CMAKE_TOOLCHAIN_FILE_x86_64_unknown_linux_gnu = None
  HOST_CMAKE_TOOLCHAIN_FILE = None
  CMAKE_TOOLCHAIN_FILE = None
  CMAKE_GENERATOR_x86_64-unknown-linux-gnu = None
  CMAKE_GENERATOR_x86_64_unknown_linux_gnu = None
  HOST_CMAKE_GENERATOR = None
  CMAKE_GENERATOR = None
  CMAKE_PREFIX_PATH_x86_64-unknown-linux-gnu = None
  CMAKE_PREFIX_PATH_x86_64_unknown_linux_gnu = None
  HOST_CMAKE_PREFIX_PATH = None
  CMAKE_PREFIX_PATH = None
  CMAKE_x86_64-unknown-linux-gnu = None
  CMAKE_x86_64_unknown_linux_gnu = None
  HOST_CMAKE = None
  CMAKE = None

-- snip for privacy and brevity -- expected build steps goes here

 --- stderr
  CMake Warning at CMakeLists.txt:51 (message):
    Disabling Z3_INCLUDE_GIT_DESCRIBE
  Call Stack (most recent call first):
    CMakeLists.txt:100 (disable_git_describe)

  CMake Warning at CMakeLists.txt:55 (message):
    Disabling Z3_INCLUDE_GIT_HASH
  Call Stack (most recent call first):
    CMakeLists.txt:101 (disable_git_hash)

  INFO:root:Generated "/mnt/HotStorage/Github/ProcessScheduler-rs/target/debug/build/z3-sys-1169702a091b35e5/out/build/src/api/dll/install_tactic.cpp"
  /usr/include/stdio.h:33:10: fatal error: 'stddef.h' file not found
  /usr/include/stdio.h:33:10: fatal error: 'stddef.h' file not found, err: true
  thread 'main' panicked at 'Unable to generate bindings: ()', /home/davidwright/.cargo/registry/src/github.com-1ecc6299db9ec823/z3-sys-0.7.1/build.rs:33:14
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

[hjfreyer]

Seeing the same issue. Did you find a workaround?

[Wright4TheJob]

I have not yet, no. Any luck for you?

[hermanventer]

I use this as my work-around in MIRAI: z3-sys = { version = "*", git="https://github.com/prove-rs/z3.rs.git", features = ["static-link-z3"], optional = true }

[hjfreyer]

That didn't work for me - same error, even after deleting Cargo.lock and rebuilding.

[hjfreyer]

Aha, it seems I was missing clang: apt install clang.

The error message could probably be clearer.

[Wright4TheJob]

Thank you @hjfreyer! The clang dependency was at the root of my issue, it can compile fine now for me.