问题标签 [opam]

我是 Ocaml 的新手，我正在尝试在 Mac OS: 上运行以下命令opam init，它会引发以下错误。有人可以解释如何消除此错误：

截屏：

我正在测试 AAC 策略库以重写模关联性和交换性。根据Coq 网站，应该：

根据您的安装，修改以下两行，或将它们添加到您的 .coqrc 文件中，替换“。” 带有 aac_tactics 库的路径。

但我不知道如何找到 aac_tactics 库的路径，并使用“。” 没用。

我按照以下方式在 Ubuntu 16.04 LTS 下安装了 Coq：

有谁知道在哪里可以找到图书馆的位置？

现在我尝试使用ocamlfind和一些包编写编译器，尤其是ppx_sexp_conv使用opam. 不知何故需要
依赖，因此在编译文件时添加了编译选项。ppx_sexp_convcompiler-libs-I ~/.opam/VERSION/lib/compiler-libsocamlfind ocamlc -package ppx_sexp_conv

问题是，compiler-libs包括非常常见的名称文件，如parsing.cmi, main.cmi, lexing.cmi.
这会产生.cmi文件冲突并发出许多嘈杂的警告，如下所示：

```

请注意main.cmi，parsing.cmi、lexing.cmi和main.cmi存在于同一目录中。

我相信这样的文件名很常见，每个人都想使用。
我的问题是，如何消除这种嘈杂的警告。
多亏了他们，很难立即找到更重要的警告和错误......

我的环境：ocaml 4.02.3 和 opam 1.2.2。

我一直在尝试根据 Real World OCaml 的说明在 Ubuntu 14.04 上设置 OCaml、OPAM、相关库和 UTOP。我目前已经成功安装了 OCaml 编译器和 OPAM。但是，在尝试安装 core 和 UTOP 时，出现以下错误：

[错误] 核心不是有效的版本化包名称

'opam install core utop' 失败。

和

[错误] utop 不是有效的版本化包名称

“opam 安装 utop”失败。

如果有人可以就问题所在以及如何解决问题提供建议，我将不胜感激。

谢谢！

编辑：根据反馈，我提供了有关安装的更多详细信息。我安装了 OPAM 1.1.1。安装中执行的最后命令是

opam 开关 4.03.0

它为我编译了那个版本，然后

eval 'opam 配置环境'

但是，我仍然无法安装 core 和 utop，因为它们显然不是有效的版本化包名称。

所以我今天从官方安装程序以及所需的 Cygwin 软件包在 Windows 上安装了 OCaml。我在“$ opam init”之后做了正确的步骤，效果很好。然后，为了测试 OPAM，我尝试安装“Core”包，但出现以下错误。

我是 OCaml 和编程的新手，还不擅长弄清楚这些东西，所以我迷路了。我想知道如何让 OPAM 找到这个文件，以便我可以安装包。

我无法安装 Ocsigen 项目的 eliom

但令人惊讶的是，我可以找到包含以下内容的包裹：

我做错了什么？

成功安装 opam 并切换到 4.01.0 版本的编译器后，我正在努力安装 utop。安装在“conf-ncurses.1”步骤失败。

运行“opam depext”并没有透露太多信息，表示需要安装“没有额外的依赖项”。切换到最新的稳定编译器，然后安装 utop 失败并出现同样的问题。*.err 和 *.out 文件是空的，因此没有发现任何问题。

在我的盒子上，我还安装了 ncurses-devl 和 pkgconfig（请参阅下面的 rpm 输出）

下面是我能看到的截图（希望它能给我们足够的信息）。任何想法在哪里看？：

截图

如何在 Windows 上使用 OPam 安装 OCaml？

感谢Jonathan Protzenko 的精彩指南，我设法在 Windows（在 Cygwin 中）上安装和运行OCaml + OPAM + utop。在utop中，我特别希望能够使用ctypes + ctypes.foreign来快速试验和原型访问各种 WinAPI 调用。从理论上讲，我成功地安装了ctypes包（成功）。不幸的是，当我尝试将它们实际加载到utop 中时，它们以令人惊讶的错误消息惨遭失败：opam install ...

尝试做同样的事情会rlwrap ocaml给出一个更长的错误消息：

注意：会话的完整记录在此处— 它包含 cmd.exe 终端中的会话输出，以及Cygwin 终端utop中的附加会话的输出。rlwrap ocaml

我完全不知道为什么会发生这种情况，或者我如何进一步尝试调试/查明/诊断情况，以便我可以尝试找到一些解决方法。（顺便说一下——我是 OCaml 和 OPAM 的新手，虽然我在 C/C++ 和 Linux 方面有相当的经验。）接下来是我的一些问题，我想这些问题可能有助于解决这个问题推动我通过障碍：

• 有没有办法在本地调整 git repo（即 ctypes）并将其传递给 OPAM 而不是原始的 github ？
• 我设法在谷歌上搜索了一些评论，似乎提到“libffi 的静态版本”可能会起作用，正如 ctypes 问题 #198 中所暗示的那样；但我是 OCaml 的新手，不幸的是，我完全不知道如何将这个建议应用于utop？
• 我如何告诉 OPAM 哪个 libffi 用于 ctypes？（具体来说，使用“静态 libffi”？）
• 如何检查我安装的mingw64-x86_64-libffi Cygwin 软件包是静态链接还是动态链接？或者如果提供了两种变体，那么 ctypes 使用哪一种？我在 SO 上找到了一些关于如何检测 libffi.a 是否与 PIC（？）重定位 [ -fpic？] 相关联的答案，但它们看起来都非常骇人听闻，而且我尝试过的那些似乎都没有真正起作用，至少在我的情况下.
• 任何帮助将不胜感激。我什至不知道该问谁，因为它是 OCaml、OPAM、utop 和 Cygwin 的交叉点，所有这些都是巨大且有些不相关/正交的系统。我试过在 ctypes repo 上发布这个问题，但一个月后得到的只是一个“补丁欢迎”标签。

我最近在我的工作笔记本电脑上更新了 facebook infer，并试图在我的个人笔记本电脑上更新 infer。它在我的工作笔记本电脑上安装没有问题，但在我的个人笔记本电脑上出现错误（见下文）。两者都安装了 opam 1.2.2 和 ocaml 4.03.0。如果我执行opam init --comp=VERSION，我会看到所有内容都是最新的。任何想法为什么brew install infer会失败？

我的工作笔记本电脑使用的是 OS X El Capitan 版本 10.11.6，而我的个人笔记本电脑使用的是 macOS Sierra 版本 10.12。

https://github.com/facebook/infer/issues/467