如何安装与ocaml 4.05.0版兼容的camlp5?

时间:2018-12-28 01:26:42

标签: ocaml coq camlp4

我试图按照here所述安装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)

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

1 个答案:

答案 0 :(得分:1)

为了安装与给定版本的OCaml兼容的OCaml软件包,我建议您使用opam。通过查看one of your previous questions,我认为情况已经如此。

为了为活动的交换机(例如,对于Ocaml camlp5)安装正确版本的4.05.0,请运行以下命令:

opam install camlp5

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

如果您已经通过自己喜欢的数据包管理器(例如camlp5)安装了另一版本的brew,则可能会导致一些问题。有关更多详细信息,请参见我对this question of yours的回答。