Как установить camlp5, совместимый с версией 4.05.0 ocaml? - PullRequest
Новая
       44

Как установить camlp5, совместимый с версией 4.05.0 ocaml?

0 голосов
/ 28 декабря 2018

Я пытался установить 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)

, так как мне нужен тот, который совместим с ocaml 4.05.0 в соответствии с gamepad и tcoq .

1 Ответ

0 голосов
/ 28 декабря 2018

Чтобы установить пакет OCaml, совместимый с данной версией OCaml, я бы предложил вам использовать opam.Глядя на один из ваших предыдущих вопросов , я предполагаю, что это уже так.

Чтобы установить правильную версию camlp5 для активного коммутатора (то есть для Ocaml 4.05.0 в вашем случае), введите следующую команду: 

opam install camlp5

Он загрузит необходимые зависимости и установит их в локальную папку установки opam.

Однако это может вызвать некоторые проблемыесли у вас уже установлена ​​другая версия camlp5 через ваш любимый менеджер пакетов (например, brew).Смотрите мой ответ на этот ваш вопрос для более подробной информации.

...