問題タブ [ocamlbuild]

それが私の質問の正しい場所であることを願っています。実は私は coq ユーザーで、「Mac OS X Lion 10.7.4」で ocaml を使って新しい戦術を実装しようとしています。必要なライブラリをすべてインストールしました。私の ocaml ファイルをコンパイルした後、それを coq にインポートしようとすると (私は Proofgenral と Aquamacs を使用しています)、エラー Error: Dynamic link not supported. が表示されます。長い検索の結果、ライブラリのリンクに問題があることがわかりましたが、修正方法が見つかりません。

プロジェクトのビルドプロセスを簡素化するために、ocamlfindに対するocamlbuildのネイティブサポートを使用しています。ファイルfoo.mlは、camlp4のマクロを使用した条件付きコンパイルに依存しています。この_tagsファイルには次のものが含まれています。

これはうまく機能しますが、camlp4にオプションを渡すのに問題があります。ocamlbuild + ocamlfind自動化を使用しない場合、コマンドラインは次のようになります。

しかし、-DFOOocamlbuild + ocamlfindを使用するときにcamlp4に変数を渡すにはどうすればよいですか？をいじる代わりに、単純なコマンドラインオプションがあるべきだと思いますmyocamlbuild.ml。

一部のディレクトリに入らないように ocamlbuild に指示する方法はありますか?

内部に次の _tags があります。

しかし、ocamlbuild は、いくつかの .dll があると言っています(それらをクリーンアップするまでビルドを拒否します)。これは、その構成dir3でスキャンされるべきではありません。_tagsマニュアルには何もありませんでした。

私は Debian Linux を使用しています。.dll について誤解しないでください。

ありがとう！

frama-cの要件としてocamlgraphをインストールしようとしています。ocamlgraphをインストールしてmakeを実行すると、次のコンパイルエラーが発生します。

私はUbuntu-10.04で実行していて、同じエラーでocamlgraph-1.6バージョンとocamlgraph-1.8.2バージョンを試しました。私のマシンのocamlバージョンはocaml-3.11.2です。

ありがとう

ocamlbuild xxx.inferred.mli を使用して、推論された mli ファイルを 1 つずつ生成できることはわかっていますが、これを自動的に行うことをお勧めします (ocaml が推論する型を確認し、これらの mli を自分のベースとして使用することもできます)。もちろん、mli を自分で指定したモジュールはスキップしたいと思います。

生成したドキュメントにソースコードを含めたい。ocamldocこれは、次のようにコマンドラインで呼び出すと機能しますocamldoc -I _build -html -keep-code -colorize-code *.{ml,mli} -d .docdir。ただし、これをと統合するのに問題がありocamlbuildます。

私は次のコードを使用していますmyocamlbuild.ml：

ただし、これには、対応するインターフェイスファイルがないファイルのソースのみが含まれます。ここで説明されていることとは異なり、ファイルが存在する場合にファイルocamlbuildを渡すことを拒否しているように見えます。ocamlbuildを私がやりたいことをするように誘導する方法はありますか？.mlocamldoc.mli

このエラーが何を意味するのかわかりません。問題のある行の前に x を含む行があるかどうかを見たことがありません - >これの前に match with を使用していましたが、それでも同じエラーが発生しました。

私の各ビルドは expr を返し、これは 1 つの大きな expr をビルドすることになっています。前もって感謝します！:D

ocamlbuildの代わりにを使用しようとしていますが、オブジェクト ファイルを外部ライブラリmakeと正しくリンクできません。.cma最初に依存関係を決定しようとし、次に のようocamlbuildなフラグを無視するよう-L/path/to/lib.cmaです。とフラグを使用してmake必要なすべてのディレクトリを渡していましたが、これらは機能しないようです-必要なライブラリが見つからないため、失敗し続けます。-I-Locamlcocamlbuildocamlc

Ocamlbuildを使用して有効なプロファイル情報でビルドするにはどうすればよいですか？-pそこでは機能しないようです。

今、私はこれに使用ocamloptします。例えば、

で同じことをする方法

私のインストールした OCaml は #! を認識しないため、camlp4o をスタンドアロンで実行することはできません。「ocamlrun camlp4o」として起動する必要があります。

プラグインにフラグを追加しようとしています。ただし、新しいフラグは既存のフラグに追加されるだけです。

その結果、ocamlbuild は次のようにコンパイラを呼び出します。

「-pp camlp4o ocamlrun camlp4o」。

有効な回避策は、新しいタグ「my_camlp4o」を導入することです。ただし、ocamlbuild のドキュメントでは、デフォルトを「オーバーライド」する機能について言及されていました。ocamlc、ocamlopt はオーバーライドできるようです。しかし、camlp4o をオーバーライドできますか? プラグインでできますか？