我正在尝试从源构建Coq：
$ git clone https://github.com/coq/coq.git
$ cd coq && ./configure
我得到（false）响应：
Your version of OCaml is 4.04.0.
You need OCaml 4.05.0 or later.
Configuration script failed!
当我在终端中键入ocaml --version时，我得到的是：
The OCaml toplevel, version 4.09.0+dev0-2019-01-18
那是怎么回事？谁是对的？
以OCAML二进制中的开发版本编号来判断，我猜您可能自己构建了它。如果您记得要同时进行制作和制作安装，则二进制文件将在您的/usr/local/bin目录中，只要您在配置过程中没有自定义任何内容。该目录不在您的道路上，因为它对系统上的每个释放式二进制二进制都是一场噩梦
要构建COQ，当您配置包装时，您需要在要使用的OCAML编译器所在的目录中传递。因此，例如，如果您使用的是GCC的测试构建，则可以：
./configure CC=/usr/local/bin/gcc-8.2.1-testbuild .
或某种效果。要查看您在这里需要做的事情，您可以做到这一点：
./configure --help
然后，您应该查看哪些标志相关的概述以及什么。当一个项目取决于包裹时，就像这里一样，帮助菜单至少应该指向正确的方向。
在我走之前，我会注意到，出于绝望，有些人会张开复制新的二进制文件，并在其/usr/bin目录中替换一个二进制文件。我不能推荐您不要养成这样做的习惯。一旦您开始跳过保存自己的理智的护栏，那只是击中粉丝之前的时间问题，请记住：唯一比整夜试图让包裹工作的唯一事情是整夜都在试图您的包装工作。