[Bug] Dev setup script doesn't install all required dependencies

[Helios-vmg]

🐛 Bug

/scripts/dev_setup.sh doesn't install all the dependencies it says it will. Running it with -typ, it prints the following:

Welcome to Aptos!

This script will download and install the necessary dependencies needed to
build, test and inspect Aptos Core.

Based on your selection, these tools will be included:
Build tools (since -t or no option was provided):
  * Rust (and the necessary components, e.g. rust-fmt, clippy)
  * CMake
  * Clang
  * grcov
  * lcov
  * pkg-config
  * libssl-dev
  * protoc (and related tools)
  * lld (only for Linux)
Move prover tools (since -y was provided):
  * z3
  * cvc5
  * dotnet
  * boogie
Moreover, ~/.profile will be updated (since -p was provided).
If you'd prefer to install these dependencies yourself, please exit this script
now with Ctrl-C.

However, afterwards, which boogie prints nothing, and apt search boogie shows it's not installed:

$ apt search boogie
Sorting... Done
Full Text Search... Done
boogie/stable 2.4.1+dfsg-0.1 all
  verifiable programming language (compiler)

libboogie-cil/stable 2.4.1+dfsg-0.1 all
  verifiable programming language (library)

To reproduce

The problem happens on a clean install of Debian 12, plus Rust and the usual C/++ build utilities. Clone the repository and run ./scripts/dev_setup.sh -typ and then ./third_party/move/scripts/move_pr.sh

Expected Behavior

Boogie should be installed. Other required packages may also missing. I haven't checked.

System information

• Aptos Core Version: commit e703e39
• Rust Version: N/A
• Computer OS: Debian 12 (AMD64)

[rahxephon89]

Hi @Helios-vmg, as mentioned here, if you want to install prover dependencies, you could try aptos update prover-dependencies instead of using running dev_setup.sh.