coq:list字符串的编译在"；处失败；ruby pp.rb“；

我正在学习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 ###

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

ruby

---

在安装了

ruby

之后，我能够使用

sudo-apt-get-install-ruby

完成安装，这是一个coq HelloWorld教程：