Error building project on MacOS

[LorisPalma]

Hi,

I am trying to build the Verus project on my Mac following the instructions on the README, after running tools/update-rust.sh I encounter an error. Here's what I get :

rustc exited with signal: 6
error: could not compile `rustc_middle`

Caused by:
  process didn't exit successfully: `/Users/loris/verus/rust/build/bootstrap/debug/rustc --crate-name rustc_middle --edition=2021 compiler/rustc_middle/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts --crate-type lib --emit=dep-info,metadata,link -C opt-level=3 -C embed-bitcode=no -C debuginfo=0 -C metadata=ed56d0b053bcfdbd -C extra-filename=-ed56d0b053bcfdbd --out-dir /Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps --target x86_64-apple-darwin -C incremental=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/incremental -L dependency=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps -L dependency=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/release/deps --extern bitflags=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libbitflags-084bf38c02022602.rmeta --extern chalk_ir=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libchalk_ir-65a3476fe8ea65e7.rmeta --extern either=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libeither-39c15c6d8d6de952.rmeta --extern gsgdt=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libgsgdt-6698b3a0ddbab467.rmeta --extern polonius_engine=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libpolonius_engine-653e0aa6ed61bb60.rmeta --extern rand=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librand-e47352adffa82242.rmeta --extern rand_xoshiro=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librand_xoshiro-5a4c17239dddc73b.rmeta --extern rustc_rayon=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_rayon-7888addd4e07c3e8.rmeta --extern rustc_rayon_core=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_rayon_core-fb7beb3cafa2e4af.rmeta --extern rustc_apfloat=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_apfloat-a10adcd75b890b89.rmeta --extern rustc_arena=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_arena-02897dc85c1a3658.rmeta --extern rustc_ast=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_ast-cd09a9326f104fd4.rmeta --extern rustc_attr=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_attr-3c3fa44c40717821.rmeta --extern rustc_data_structures=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_data_structures-1061aa8f295bf009.rmeta --extern rustc_errors=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_errors-ab612a9bd647f704.rmeta --extern rustc_feature=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_feature-29adda405d71debd.rmeta --extern rustc_graphviz=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_graphviz-6b9cac4911dbb6f0.rmeta --extern rustc_hir=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_hir-4ce5ef9fab936309.rmeta --extern rustc_index=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_index-24ac7dc9892ce8c4.rmeta --extern rustc_macros=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/release/deps/librustc_macros-e3e3f4c4d54030f0.dylib --extern rustc_query_system=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_query_system-3eff3c0b926a5993.rmeta --extern rustc_serialize=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_serialize-bbc7cc88ffd427df.rmeta --extern rustc_session=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_session-04eb547175547562.rmeta --extern rustc_span=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_span-a81d5ff9e8fbbd5c.rmeta --extern rustc_target=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_target-7ec14da5fe7d92b0.rmeta --extern rustc_type_ir=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/librustc_type_ir-e6a42e601be596a1.rmeta --extern smallvec=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libsmallvec-1aa785a6627c59db.rmeta --extern tracing=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/deps/libtracing-9cc860bd2fb03c61.rmeta -Zsymbol-mangling-version=v0 -Zmacro-backtrace -Zosx-rpath-install-name '-Clink-args=-Wl,-rpath,@loader_path/../lib' -Csplit-debuginfo=unpacked -Ztls-model=initial-exec -Zunstable-options '-Wrustc::internal' -Cprefer-dynamic -Cllvm-args=-import-instr-limit=10 -Z binary-dep-depinfo -L native=/Users/loris/verus/rust/build/x86_64-apple-darwin/stage1-rustc/x86_64-apple-darwin/release/build/psm-14e7f5a490b013b1/out` (exit status: 254)
warning: build failed, waiting for other jobs to finish...
error: build failed
Build completed unsuccessfully in 0:50:20

Can someone please help me troubleshoot this issue?

Thank you!

[utaal]

Hi @LorisPalma,

Thanks for the report. Unfortunately there is an libc allocator issue in macOS ( rust-lang/rust#92173 ) and my understanding is that it is baked into the early stage0 compiler binary that is downloaded to build the version of rust we are using. I am not aware of a direct fix. Fortunately, it only crashes the compiler sometimes and re-running the last command of tools/update-rust.sh by hand once or twice should work:

In the rust directory, run:

$python_command ./x.py install -i(where $python_command is python or python3 depending on which is available on your system)

This will only re-attempt the build of the parts of rustc that failed (rustc_middle in this case) and their dependencies, which is more likely to succeed.

Please ask again if you encounter further issues.

---

FYI, we are currently working on switching to a much more recent (and pre-compiled) rustc distribution, so it will hopefully be much easier to get set up in the future.

[LorisPalma]

Thank you for your answer.

Unfortunately, even after running the python3 ./x.py install -i 3-4 times, it didn't succeed.
As a temporary solution, I'll probably use a VM with Ubuntu on my Mac.

[utaal]

By the way, are you on x86 or Apple Silicon? We may have a pre-built rustc we can share.

[tjhance]

IIRC, in the past I've had better luck leaving the -i off. You might try that and see if it helps.

[LorisPalma]

Simply running python3 ./x.py install worked just fine.

Thank you so much!

[LorisPalma]

Hello,

Sorry to bother again, but I can't manage to build the verifier.
When I run ./tools/cargo.sh build I get :

    Updating git repository `https://github.com/utaal/getopts.git`
./tools/cargo.sh: line 22:  4017 Segmentation fault: 11  VERUS_Z3_PATH=/Users/loris/verus/source/z3 DYLD_LIBRARY_PATH=/Users/loris/verus/source/../rust/install/lib/rustlib/x86_64-apple-darwin/lib RUSTC=../rust/install/bin/rustc RUSTDOC=../rust/install/bin/rustdoc ../rust/install/bin/cargo build

and when I run RUSTC=../rust/install/bin/rustc ../rust/install/bin/cargo build I also get :

    Updating git repository `https://github.com/utaal/getopts.git`
zsh: segmentation fault  RUSTC=../rust/install/bin/rustc ../rust/install/bin/cargo build

I don't know if I'm doing something wrong, can someone please help me ?

[tjhance]

Hi @LorisPalma,

Sorry for not being a whole lot of help here. I don't think any of us have any idea why this is happening.

However, we've completely revamped the build system on the branch main_new, which is going to be the default branch soon. It has some sharp edges but should mostly be usable at this point. The new system no longer requires building rustc from source, so I'm hopeful you might have more luck with it.

[LorisPalma]

The new build worked like a charm, thank you for the answer.

[utaal]

@LorisPalma a quick note: we're still tweaking the new build, so please re-activate the environment every time you pull, so you're sure you have the latest vargo.