我正在尝试从源代码构建Coq：
$ git clone https://github.com/coq/coq.git
$ cd coq && ./configure
为此我得到（错误的）回复：
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二进制文件上的dev版本号判断，我猜你可能是自己构建的。如果您记得同时进行make和make install，则二进制文件将位于/ usr / local / bin目录中，前提是您在配置期间未自定义任何内容。该目录不在您的路径中，因为对于您的系统上的每个发布 - 构建二进制文件来说，尝试使用您的开发构建将是一场噩梦。
要构建Coq，在配置程序包时，需要传入要使用的Ocaml编译器所在的目录。因此，例如，如果您使用gcc的测试版本，您将执行以下操作：
./configure CC=/usr/local/bin/gcc-8.2.1-testbuild .
或者那种效果。要在此处查看您必须执行的操作，您可以执行以下操作：
./configure --help
然后，您应该看到哪些标志相关和诸如此类的概述。当项目依赖于包时，就像这里的情况一样，帮助菜单至少应该指向正确的方向。
在我离开之前，我会注意到，出于绝望，有些人会将新二进制文件复制并替换其/ usr / bin目录中的二进制文件。我不能建议你不要养成这样做的习惯。一旦你开始跳过保护你自己的理智的护栏，事情就好了，事情就好了，并且记住：唯一比整夜尝试让包裹上班更糟糕的事情是整晚都在努力让你的所有包裹都能正常工作。