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