问题标签 [opam]

我正在关注一个 coq 教程，它需要一个基本的 coq OPAM 库coq:io:system。但是我遇到了 OPAM 错误。（这是 Ubuntu14.04、coq 8.4pl6 和 opam1.2.1）

我用谷歌搜索并没有找到任何解决方案。

有谁知道问题可能是什么以及如何解决此错误？

谢谢。

我正在关注一个coq HelloWorld 教程（下面的代码），但无法编译该程序。我按照安装步骤安装了opam install coq:io:system. 我的 opam 安装在默认位置~/.opam。但是，我仍然有一个错误

这适用于 emacs/proofgeneral 或 coqide (8.4pl6, ubuntu 14.04)。有谁知道如何解决这个问题？

这是我复制到名为hello_world.v并加载到 emacs/coqide 的文件中的代码：

- 更新 - -

@gtzinos，我按照https://github.com/clarus/coq-hello-world中的自述文件进行操作。这次没有关于 的投诉System.effects，但是出现了一个关于Extraction.launch未找到的新错误。我试过了：

并得到：

我也尝试make在extraction文件夹中，但没有成功。任何指针？

我在安装依赖于 ocamlfind 的软件包时遇到问题，但在制作时出现 ocamlfind: command not found 错误。

我已经使用 ocaml 包管理器安装了 ocamlfind，并尝试使用“opam reinstall ocamlfind”重新安装。

我还尝试了“eval opam config env”命令来查看是否更新了我的 bin。

有没有人遇到过类似的问题/知道这可能是由什么引起的

运行make时的输出：

尝试 ocamlfind 时的输出

ocaml 已安装

并且在运行 eval 命令时

我在运行 centos 7 的服务器上

In particular, 'opam upgrade' produces this message:

"Upgrade is not possible because of conflicts or packages that are no longer available: - Conflicting query for package camlp4.4.02.1+system"

1) How might I get out of this situation?

2) How might I avoid having this happen again?

My opam is 1.2.2, and ocaml is 4.02.1. OS is linux mint (ubuntu derivative)

我尝试在 OCaml 中进行一些线性代数计算。我已经安装了 Lacaml 包。知道 slap 包对用户更友好，我决定使用这个包而不是 Lacaml。我确实通过键入“ opam install slap”成功安装了 slap 包。但是当通过键入“”编译文件时ocamlfind ocamlc -linkpkg -package slap,slap.ppx -short-paths jacobi.ml，错误

发生了。我一直在努力解决它，但做不到。我试图手工制作包装。但是有个问题叫

发生了。我不知道“Ast_helper”模块在哪个包中。

以上是关于我的问题的所有描述。如果有人安装了slap，请帮助我。

我刚刚安装了opam并安装了 uint 包。但是，当我尝试做这样的事情时

我得到错误

关于我可能遗漏的任何建议？我是 OCaml 和 opam 的新手

我使用以下语句在我的 OSX 终端中编译代码

opam list -a根据输出列出当前在 OPAM 上可用的所有软件包，但不显示当前未安装的软件包的版本号opam list --help：

(...) 输出格式每行显示一个包，每行包含包的名称、安装的版本或 -- 如果未安装包，(...)

如何列出所有软件包，包括它们的版本号？

我需要在本地重新编译 LLVM 3.6 并启用断言以跟踪我的编译器中的错误（构建 LLVM IR 时出现段错误），但会出现一些错误。

1：Opam 找不到 LLVM 库：

但

如何告诉 opam 在特定目录中查找 libllvm？

编辑：在编译 LLVM 时使用此配置解决：

我做了opam update，然后opam upgrade，现在 OPAM 想要将 10 个软件包升级到更新的版本。

但是，由于担心无意中破坏某些东西，我想升级一个包，而不涉及其他包。这个包没有依赖关系，似乎没有其他包依赖它。

但是，这样做opam upgrade <package>的结果是一样的opam upgrade，即 OPAM 想要升级所有 10 个包，而不仅仅是我想要的那个。

我什至尝试过opam install <package>.<new version>，但它也想一次升级所有东西。

有没有办法只升级这个单一的包，而不触及其余的？理论上什么都不应该打破，但在实践中它经常发生......

I installed rope with opam and verified that it's available:

rope 0.5 Ropes ("heavyweight strings")

But how to load it?? The documentation states I should use #load "rope.cma";; but this gives me the message Cannot find file rope.cma.

Can someone please tell me what's the incantation for loading it??