tcoqをインストールしようとしたところ、次のエラーが発生しました。
"/Users/pinocchio/.opam/4.05.0/bin/ocamlfind" ocamlc -rectypes -w -3-52-56 -c grammar/compat5.ml
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
誰かが知っていますか：
- エラーの意味
- 修正方法は？
関連する投稿をオンラインで見ました：
https://coq-club.inria.narkive.com/h4i0KOH0/problem-compiling-coq
しかし、それはあまり役に立ちませんでした。やった：
ocaml -I +camlp5
彼らが示唆したように、それはうまく機能しているようです...
私はそうしmake cleanましたが、それは役に立ちませんでした。
INSTALL のステップ 3 をスキップしたことに気付きましたが、それが問題に関連しているのか、それとも何をするつもりなのかはわかりません。
3- The uncompression and un-tarring of the distribution file gave birth
to a directory named "coq-8.xx". You can rename this directory and put
it wherever you want. Just keep in mind that you will need some spare
space during the compilation (reckon on about 300 Mb of disk space
for the whole system in native-code compilation). Once installed, the
binaries take about 30 Mb, and the library about 200 Mb.
ゲームパッドをインストールしようとしていますが、そのためには指示に従う必要があります。具体的には、次の 3 つのコマンドを実行しました。
opam switch 4.05.0
opam install camlp4
opam install ocamlfind
最新のエラー:
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
そのエラーを読んだ後、奇跡的に と の両方のバージョンを印刷することが思いつきましocamlたcamlp5:
$ camlp5 -v
Camlp5 version 7.07 (ocaml 4.07.0)
と：
ocaml
OCaml version 4.05.0
明らかにそれは間違っているので、おそらく最初のステップは、それが私が必要とするものであるためcamlp5、動作するように修正する4.05.0ことです.
アンインストールしようとしcamlp5ましたが、拒否されました。
brew uninstall camlp5
Error: Refusing to uninstall /usr/local/Cellar/camlp5/7.07
because it is required by coq, which is currently installed.
You can override this and force removal with:
brew uninstall --ignore-dependencies camlp5