1

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

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

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

谢谢。

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗  installed coq:function-ninjas.1.0.0
∗  installed coq:error-handlers.1.0.0
∗  installed coq:io.3.0.0
∗  installed coq:list-plus.1.1.0
[ERROR] The compilation of coq:list-string failed at "ruby pp.rb".
∗  installed ppx_tools.0.99.2
∗  installed lwt.2.4.8
∗  installed coq:io:system:ocaml.2.2.0

#=== ERROR while installing coq:list-string.2.1.0 =============================#
# opam-version 1.2.1
# os           linux
# command      ruby pp.rb
# path         /home/zhen/.opam/system/build/coq:list-string.2.1.0
# compiler     system (4.02.1)
# exit-code    127
# env-file     /home/zhen/.opam/system/build/coq:list-string.2.1.0/coq:list-string-2159-326a35.env
# stdout-file  /home/zhen/.opam/system/build/coq:list-string.2.1.0/coq:list-string-2159-326a35.out
# stderr-file  /home/zhen/.opam/system/build/coq:list-string.2.1.0/coq:list-string-2159-326a35.err
### stdout ###
4

1 回答 1

1

事实证明（如错误消息所示），这个特定的包似乎依赖于ruby.

ruby使用.安装后，我能够完成安装sudo apt-get install ruby。

于 2015-05-26T09:03:03.210 回答