[Feature Request] Homebrew repo for Mac Arm64 versions of needed tools for Move prover and tests

[brmataptos]

🚀 Feature Request

We need a Homebrew repo in github for Z3 and Solidity for Arm64 Macs.

Motivation

Move build stack and tests depend on older versions of a few tools (Z3 and Solidity). These are not easily available natively for Mac Arm64, as the tool makers don't have Mac Arm64 builds for those versions. Meanwhile, Homebrew has these tools for Mac Arm64, but only the latest versions. It's possible to build the old versions for Arm64 from the sources and host our own on github, making it fairly easy for new developers (or the dev_setup.sh script) to install on their machines using brew.

Additional context

While Z3 version 4.11.2 easily builds on Mac Arm64, building Solidity version "v0.8.11+commit.d7f03943" requires first installing a different old version of Z3, then patching the Solidity source code to build on Arm64. Once the Aptos Labs Homebrew repo is set up I can probably upload that.

[brmataptos]

See also #9350 and #8718.

8718 was fixed already by #8750.

9350 workaround is still pending on PR #9350.

[brmataptos]

@rahxephon89 might be interested in following up on this?

[rahxephon89]

@brmataptos, instead of using homebrew, we plan to use CLI command to install prover dependencies: #14683