使用brew安装Infer失败提示no bottle available错误如何解决？

报错原因 #

Homebrew 当前未提供适配你当前 Mac 系统版本/芯片架构的 Infer 预编译包（bottle），因此无法通过默认的 brew install infer 命令直接安装。

可行解决方案 #

方案一：源码编译安装

• 先安装编译所需依赖：

brew install opam pkg-config cmake openjdk@17 sqlite3 gmp mpfr zlib

• 配置 Java 环境变量：
  • Intel 芯片 Mac 执行：
    echo 'export PATH="/usr/local/opt/openjdk@17/bin:$PATH"' >> ~/.zshrc
  • M 系列芯片 Mac 执行：
    echo 'export PATH="/opt/homebrew/opt/openjdk@17/bin:$PATH"' >> ~/.zshrc
• 重载终端配置：
  source ~/.zshrc
• 执行源码编译安装命令：
  brew install --build-from-source infer
  如果编译过程中出现依赖报错，可先执行 brew update 更新 Homebrew 公式库后重试

方案二：直接使用官方预编译二进制包

如果源码编译多次失败，可直接配置官方打包好的二进制文件使用：

• 下载 Infer 对应 Mac 系统的最新预编译二进制包到本地
• 解压后将完整文件夹移动到你常用的软件存放目录，例如 ~/infer
• 将 Infer 二进制目录加入终端环境变量：
  echo 'export PATH="$HOME/infer/bin:$PATH"' >> ~/.zshrc
• 重载配置后执行 infer --version，返回版本号即安装完成。

内容的提问来源于stack exchange，提问作者Momchil Nikolov