0

Ubuntu 14.04 の ropc/bap/INSTALL の指示に従って、 ropc https://github.com/pakt/ropcに必要な bap をインストールしようとしています。これらのコマンドを正常に実行しました。

sudo apt-get install ocaml ocaml-native-compilers ocaml-findlib camlidl \
libocamlgraph-ocaml-dev libextlib-ocaml-dev binutils-dev automake \
libcamomile-ocaml-dev otags libpcre3-dev camlp4-extra bison flex

ここで、bap ディレクトリ内に作成すると、次の Unbound module toploop エラーが発生します。これは、バッテリーと ocaml の間の互換性の問題のようです。どうすればこれを回避できますか? 詳しくは画像をご覧ください

アップロードされた画像

-I +compiler-libs をどこかに追加する必要があることを読みました。しかし、正確にはどこですか？私は ocaml を使用した経験がなく、ropc をうまく構築しようとしています。

4

1 に答える 1

0

pact/ropc プロジェクトをコンパイルしてみましたが、問題しか確認できません。

ocaml の構成は成功しますが、コンパイルで未定義のエラーが表示されます。

Error: Some fatal warnings were triggered (2 occurrences)
../Makefile.shared:84: recipe for target 'nat.cmo' failed
make[2]: *** [nat.cmo] Error 2
make[2]: Leaving directory '/home/strobel/tmp/ropc/bap-0.4/bigint-3.12/otherlibs/num'
Makefile:5: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/home/strobel/tmp/ropc/bap-0.4/bigint-3.12'
Makefile:356: recipe for target 'all-recursive' failed

ROPC で使用されるbapコンポーネントは opam で使用できますが、ROPC では使用できず、bitrot の兆候が見られます。コンパイルの問題を伝える github プロジェクト用に開かれた 3 つの問題があります。

opam (非常に最新のバージョン) から直接パッケージを使用して、十分にプロビジョニングされた ocaml セットアップがあり、私のアプローチは、ここでコンパイルされるかどうかを確認することでした。

何をすべきか？

おそらく、debian ocaml パッケージをアンインストールし、opam で新たに開始します。古いバージョンの ocaml をインストールする可能性もあるので、時間をさかのぼって 3.12 バージョンの ocaml に戻してください。しかし、対応するバージョンで必要なパッケージを入手するのはそれほど簡単ではないかもしれません。opam はまったく新しいものです。高度な ocaml デバッグ ジョブ IMO になります。

于 2016-03-03T12:16:49.527 に答える