0

我正在尝试安装 Kframework，但没有成功。我按照https://github.com/kframework/k/tree/master#prerequisite-install-guide上的说明安装了所有依赖项，并按照建议更新了环境变量。

我有 export PATH="~/z3-4.8.7-x64-osx-10.14.6/bin:$PATH" 。我正在运行：brew uninstall kframework brew uninstall z3，并卸载安装在 brew clean && brew update && brew upgrade brew install z3 kframework 之外的版本

Brew install kframework 产生以下有关命令行工具的警告： 警告：有较新的命令行工具版本可用。从系统偏好设置中的软件更新更新它们或运行：softwareupdate --all --install --force

如果没有显示任何更新，请运行： sudo rm -rf /Library/Developer/CommandLineTools sudo xcode-select --install

并最终以

<<< 错误！143 org.kframework.utils.errorsystem.KEMException：[错误]严重：无法启动z3进程（IOException：无法运行程序“z3”：错误= 2，没有这样的文件或目录）（即使我的CLT最多日期并安装在正确的位置）。

  1. 我的 CommanLineTools 似乎是合法的。我有 Xcode 版本 11.3.1 (11C505)，并从我从苹果开发站点 Command_Line_Tools_for_Xcode_11.3.1.dmg 下载的二进制文件中安装了 CommanLineTools

键入“xcode-select -p”给出 /Library/Developer/CommandLineTools

  1. 我的 z3 是：z3 -version Z3 版本 4.8.7 - 64 位（从 z3 网站下载的二进制文件）。

我也用 Z3 版本 4.8.12 试过这个

任何建议表示赞赏。

4

0 回答 0