在Ubuntu 14.04中制作ynot（Coq库）时出错

Question

我正在尝试安装 - 一个Coq证明助手（http://ynot.cs.harvard.edu/）的库，我从这里得到它：https://github.com/Ptival/ynot（因为我认为它已修复为8.4pl2）

我有： Coq Proof Assistant，版本8.4pl3（2014年1月） 2014年1月19日23:14:16与OCaml 4.01.0编译

首先，我git克隆ynot到/ tmp，然后去那里发布make。

它在STsep.v文件中断：

> coqc -R . Ynot  -q  -I .    STsep 
> File "./STsep.v", line 191, characters 4-11: 
> Error: No such unproven subgoal 
> make[2]: *** [STsep.vo] Error 1

有什么想法吗？