coq：list-string的编译在＆＃34; ruby​​ pp.rb＆＃34;

Question

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

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

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

感谢。

=-=- 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 ###

Answer 1

事实证明（如错误消息所示），此特定包似乎依赖于ruby。

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