使用ocamlbuild和camlp5进行编译

时间:2015-08-26 00:53:37

标签: preprocessor flags ocamlbuild camlp4

我正在尝试创建一个我正在使用ocamlbuild编译的项目,以避免使用常规的Makefile,我发现它稍微复杂一些。

具体来说,我有一个语法扩展文件(extend.ml),我需要先编译它。在常规的Makefile中会有一条规则:

extend.cmo: extend.ml
    $(OCAMLC) -pp "camlp5o pa_extend.cmo q_MLast.cmo" -I +camlp5 -c $<

然后,为了计算依赖关系,会有这样的规则:

depend: $(MLFILES) extend.cmo
    $(OCAMLDEP) -pp "camlp5o ./extend.cmo"

当然,创建任何目标文件都需要与上述规则类似的规则。

我的问题是,如何将这些规则/要求整合到 one ocamlbuild命令(如果可能)?

我首先尝试编译extend.ml文件,然后使用以下命令:

ocamlbuild -pp "camlp5o ./extend.cmo" -I +camlp5 -use-menhir -no-hygiene Main.byte

但我不认为它是最佳的。

不幸的是,我不熟悉使用ocamlbuild作为编译工具,所以任何帮助都将不胜感激。

1 个答案:

答案 0 :(得分:1)

您可以定义两个新标记compile_extenduse_extend,用于指定预期的选项。在myocamlbuild.ml文件中:

open Ocamlbuild_plugin

let my_flags () =
  flag ["ocaml"; "pp"; "compile_extend"]
    (S [A"camlp5o"; A "pa_extend.cmo"; A "q_MLast.cmo"]);
  flag ["ocaml"; "pp"; "use_extend"]
    (S [A"camlp5o"; A "extend.cmo"]);
  (* files with the use_extend flag must depend on extend.cmo *)      
  dep  ["ocaml"; "use_extend"] ["extend.cmo"];
   ()

let () =
  dispatch (function
    | After_rules ->
      my_flags (); 
    | _ -> ())

然后你会有一个标签文件:

"extend.cmo": compile_extend
<Main.*>: use_extend

那就是说,这是所有的猜测,我没有测试过这个设置。你能提供一个带有示例extend.ml文件和Main.ml的tarball来重现你的情况吗?