1

嗨，我在 MacOS catalina 10.15.6 上，正在尝试使用安装 K-framework

brew reinstall kframework

我不断收到错误：

Fatal error:    OpamSystem.File_not_found("/usr/local/Cellar/kframework/5.0.0/lib/kframework/opamroot/repo/k/packages/mlgmp/mlgmp.20150824/opam")

我重新安装了 ocaml 和 opam 并且工作正常，但上述错误仍然存​​在！

所以我brew uninstall kframework 然后brew install kframework但现在得到错误

   [ERROR] Compiler selection '4.10.0' is ambiguous. matching packages: { ocaml-base-compiler.4.10.0, ocaml-system.4.10.0 }
    The following dependencies couldn't be met:
      - mlgmp → ocaml < 4.06.0
          base of this switch (use `--unlock-base' to force)

No solution found, exiting

任何帮助非常感谢？大卫

今天它安装时没有错误或警告：

尝试测试/使用 kompile 但所有使用 course_1/imp1.k 的尝试都失败了

dstr@Dstr lesson_1 % kompile imp.k
[Error] Compiler: Could not find sorts: [Id]
    Source(/Users/dstr/K/tutorial/1_k/4_imp++/lesson_1/./imp.k)
    Location(17,20,17,57)
dstr@Dstr lesson_1 % kompile --debug imp.k
org.kframework.utils.errorsystem.KEMException: [Error] Compiler: Could not find sorts: [Id]
    Source(/Users/dstr/K/tutorial/1_k/4_imp++/lesson_1/./imp.k)
    Location(17,20,17,57)

这是因为 imp.k 已过时还是我的安装仍有问题？（如果 imp.k 已过期，我在哪里可以获得一些最新的 _.k 文件？）

没有发现问题，最近的文件都在工作。非常感谢。

4

0 回答 0