4

Teyjus をインストールして Lambda Prolog を少し書き始められるように OMake をインストールしようとしていますが、OS X 10.10.5 で大量のエラーが発生します。私が理解できない最新のものは次のとおりです。

*** omake: 497/1193 targets are up to date                                     
*** omake: failed (5.99 sec, 124/124 scans, 81/94 rules, 258/1153 digests)
*** omake: targets were not rebuilt because of errors:                         
   src/libmojave/lm_printf.cmx
   src/libmojave/lm_printf.o

誰かがこれに遭遇しましたか？誰も修正を知っていますか？始めていただけると幸いです。

4

1 に答える 1

3

あなたの投稿 (ここと/r/prolog ) に触発されて、Teyjus もビルドしようと決め、途中で OCaml と OMake をインストールしました。OCaml と OMake を正常にインストールするために行った手順を次に示します。

OCaml のインストール

OCaml.org によると、OCaml をインストールする最善の方法は OPAM を使用することです。しかし、私は Homebrew で OPAM をインストールすることを選択し、OCaml が前提条件であったため、次の手順の最初の 2 つの後に OCaml の最新バージョンをセットアップすることになりました。

自作で opam をインストールします。

https://opam.ocaml.org/doc/Install.htmlの指示に従ってください

$ brew update
$ brew upgrade
$ brew install opam

opam の初期化

自作の結果によって提供される指示に従って、実行しました

$ opam init                     # then `y` to allow alterations to the shell profile and another init file
$ eval `opam config env`

標準ライブラリのインストール

どうにかして OCaml をインストールするつもりなら、適切に使用できるようにセットアップすることもできます。したがって、OCamlのインストール手順のアドバイスを受けて実行しました

$ opam install batteries core

OMakeのインストール

OMakeのダウンロード ページは怖かったです。「ちょっと、堅牢な OCaml パッケージ マネージャーである OPAM をインストールしたところです。OMake は OCaml で記述されているので、OPAM で OMake パッケージを見つけて、それらの致命的な箇条書きをすべて回避できるかもしれません」と思いました。こうして私は走った

$ opam show omake

そして、最新のものと思われる omake 0.9.8.6-0 が提供されていることがわかりました。だから私はそれをインストールしました

$ opam update                     # just to be sure ;) But all was up to date
$ opam install omake

それはそれである必要があります！その後、ソースから Teyjus をビルドすることができました (私の手順の全記録を reddit スレッドに投稿します)。

参考までに、あなたが尋ねていない質問に答える情報を追加すると、OSX 用の Teyjus バイナリも利用できるようです: https://github.com/teyjus/teyjus/releases

于 2016-02-21T16:02:59.653 に答える