Installation doesn't work on fresh Mac installs

[xldenis]

I just reinstalled macOS and I can't do a cargo creusot setup install

    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.29s
     Running tests/ui.rs (target/debug/deps/ui-6fd41f6b6cc12f07)
Error: "/Users/xavier/Library/Application Support/creusot.creusot/bin/cvc4" "--version": Bad CPU type in executable (os error 86)
Error: Please run 'cargo creusot setup status' to diagnostic and fix the issue(s)
error: test failed, to rerun pass `-p creusot --test ui`

Caused by:
  process didn't exit successfully: `/Users/xavier/Code/creusot/target/debug/deps/ui-6fd41f6b6cc12f07 03_std` (exit status: 1)

I think I can work around it via Rosetta 2 but if we can fix it properly that would better.

[jhjourdan]

So x86 executables are finally not transparently supported by MacOS on ARM?

[xldenis]

They are but the intention was never for that to be indefinite and it's something I'll need to specifically activate.

[jhjourdan]

Ok. Are there Arm binaries for the provers we want to support? Otherwise, I don't really know what we can do

[xldenis]

All except maybe cvc4 though even that one should exist