如何解决安装 Ocaml 旧版本,因为库失败
我无法运行有关逻辑和推理的代码:https://www.cl.cam.ac.uk/~jrh13/atp/
例如,在最新版本中,新版本似乎无法识别 Num
库。我尝试了不同的在线编译器,但它们都在某些时候失败了。然后,唯一的方法是安装编写代码的确切版本:3.09.3
那么,问题是:我该如何安装那个版本?我可以降级我的 Opam 吗?或者你会推荐另一种选择。我用的是 Mac。
我尝试了 opam switch create 3.09.3
并报告了这些问题:
The following actions failed
│ λ build ocaml-base-compiler 3.09.3
└─
┌─ The following changes have been performed (the rest was aborted)
│ ∗ install base-bigarray base
│ ∗ install base-threads base
│ ∗ install base-unix base
解决方法
您已正确安装所有内容,无需降级 opam。你实际上并没有说明问题是什么。错误消息显示某些东西最终失败了,但实际的错误消息在上面。还有一条消息包含错误日志的路径。我尝试使用 3.09.3
在我的机器上安装 opam switch create 3.09.3
并且没有任何问题,
$ opam switch create 3.09.3
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.3.09.3] downloaded from cache at https://opam.ocaml.org/cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
∗ installed ocaml-base-compiler.3.09.3
∗ installed ocaml-config.1
∗ installed ocaml.3.09.3
Done.
因此,您的系统可能存在一些本地问题,例如空间不足。
话虽如此,您仍然可以尝试在 OCaml 的现代版本中运行这些示例。要在 OCaml 的现代版本中启用 nums
,您需要安装包(不再随 OCaml 编译器分发,但仍可在 opam 中使用),
opam install num
然后,您可以在顶层(ocaml
解释器)中加载 num,使用以下内容
#use "topfind";;
#require "num-top";
num-top
库将加载 nums 库,甚至安装顶级打印机,使您与任意精度数字的交互更加舒适。这两行应该代替 init.ml 文件中的 #load "nums.cma";;
行。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。