0

我试图按照此处所述安装 tcoq 和游戏手柄,但出现错误:

make
/Library/Developer/CommandLineTools/usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build
OCAMLC -c -pp grammar/gramCompat.mlp
>> Fatal error: OCaml and preprocessor have incompatible versions
Fatal error: exception Misc.Fatal_error
make[1]: *** [grammar/gramCompat.cmo] Error 2
make: *** [submake] Error 2

所以我发现我有错误的版本campl5

$ camlp5 -v
Camlp5 version 7.07 (ocaml 4.07.0)

因为我需要的是4.05.0根据gamepadtcoq与 ocaml 兼容的那个。

4

1 回答 1

1

为了安装与给定版本的 OCaml 兼容的 OCaml 包,我建议您使用opam. 通过查看您之前的一个问题,我认为情况已经如此。

为了安装camlp5活动交换机的正确版本(即4.05.0在您的情况下为 Ocaml),请运行以下命令:

opam install camlp5

它将下载所需的依赖项并将其安装到您的本地opam安装文件夹中。

但是,如果您已经camlp5通过您最喜欢的数据包管理器(例如brew)安装了另一个版本,这可能会导致一些问题。有关更多详细信息,请参阅我对您的这个问题的回答。

于 2018-12-28T12:04:58.413 回答