首页 文章

我的Makefile中有硬编码路径 - 如何使用ocamlfind来消除这些? (或者如何使用ocamlbuild或omake代替)

提问于
浏览
3

我正在尝试构建一个需要camlp4扩展的ocaml项目(在这种情况下为pa_deriving) . 这是我的Makefile:

include ./Makefile.config

OCAMLC     := ${OCAMLFIND} ocamlc
OCAMLOPT   := ${OCAMLFIND} ocamlopt
OCAMLDEP   := ${OCAMLFIND} ocamldep
PP         := -package camlp4 -ppopt /home/p/godi-3.12.1.0/lib/ocaml/site-lib/deriving-ocsigen/pa_deriving.cma -syntax camlp4o
LIBS       := -I /home/p/godi-3.12.1.0/lib/ocaml/site-lib/deriving-ocsigen  -package unix -package oUnit

OCAMLFLAGS   = -w Aef

SOURCES = logic.ml          \
      fsm.ml            \
      test_logic.ml         


 test_logic: ${SOURCES:.ml=.cmo}
  ${OCAMLC} -o $@ ${LIBS} -linkpkg deriving.cma $^

 # Common rules

 %.cmi: %.mli
  ${OCAMLC} ${OCAMLFLAGS} ${PP} ${LIBS} -c $<
 %.cmo: %.ml
  ${OCAMLC} ${OCAMLFLAGS} ${PP} ${LIBS} -c $<
 %.cmx: %.ml
  ${OCAMLOPT} ${OCAMLFLAGS} ${PP} ${LIBS} -c $<

 # Clean up
 clean:
  -rm -f *.cm[ioax] *.cmxa *.cmxs *${OBJEXT} *${LIBEXT} *.annot
  -rm -f tests${EXEEXT}
 distclean: clean
  -rm -f *~ \#* .\#*

 # Dependencies
 depend:
   ${OCAMLDEP} ${PP} *.ml *.mli > .depend

 -include .depend

这个Makefile有效;它完成了工作,但问题是我上面有硬编码路径,例如:/home/p/godi-3.12.1.0/lib/ocaml/site-lib/deriving-ocsigen/pa_deriving.cma指的是我的OCodil的godi安装 . 我想摆脱那些,以便我可以分发代码和Makefile,这样任何人都可以用它来构建 .

我应该使用omake或ocamlbuild吗?我想使用omake,我为此玩了一个OMake文件,但无法正常工作 - 任何建议都会受到赞赏 .

更新:我尝试将ocamlbuild与以下_tags文件一起使用:

<*.ml>: package(unix), package(oUnit), package(deriving-ocsigen.syntax), syntax(camlp4o)

使用以下ocamlbuild命令:ocamlbuild -use-ocamlfind test_logic.native -classic-display

我得到:

/home/phil/godi-3.12.1.0/bin/ocamlfind ocamldep -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -modules fsm.ml > fsm.ml.depends  
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamldep -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -modules logic.ml > logic.ml.depends  
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamlc -c -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -o logic.cmo logic.ml 
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamlc -c -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -o fsm.cmo fsm.ml  
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamlopt -c -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -o logic.cmx logic.ml  
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamlopt -c -package deriving-ocsigen.syntax -package oUnit -package unix -syntax camlp4o -o fsm.cmx fsm.ml  
/home/phil/godi-3.12.1.0/bin/ocamlfind ocamlopt -linkpkg -linkpkg logic.cmx fsm.cmx   test_logic.cmx -o test_logic.native  
+ /home/phil/godi-3.12.1.0/bin/ocamlfind ocamlopt -linkpkg -linkpkg logic.cmx fsm.cmx test_logic.cmx -o test_logic.native  
File "_none_", line 1, characters 0-1:  
Error: No implementations provided for the following modules:  
         Deriving_Show referenced from test_logic.cmx  
         Deriving_Enum referenced from test_logic.cmx  
         OUnit referenced from test_logic.cmx

我需要将哪些内容添加到_tags文件中才能更正此问题?

2 回答

  • 3

    我看到你用 ocamlbuild 解决了你的解决方案,这很好 . 在一般情况下,您可以使用脚本/ Makefile中的 ocamlfind query 作为命令行界面来查询有关findlib包的信息,特别是避免使用硬编码路径 .

    $ ocamlfind query deriving-ocsigen 
    /usr/lib/ocaml/deriving-ocsigen
    $ ocamlfind query deriving-ocsigen -i-format
    -I /usr/lib/ocaml/deriving-ocsigen
    $ ocamlfind query deriving-ocsigen -predicates byte -a-format
    deriving_num.cma
    $ ocamlfind query deriving-ocsigen.syntax -predicates syntax,preprocessor -a-format
    pa_deriving.cma
    $ ocamlfind query deriving-ocsigen.syntax -predicates syntax,preprocessor -format "-I %d %a"
    -I /usr/lib/ocaml/deriving-ocsigen pa_deriving.cma
    
  • 2

    我使用ocamlbuild工作了 . 这是秘密酱:

    _tags文件:

    <*.ml> or "test_logic.native": package(unix), package(oUnit), package(deriving-ocsigen), package(deriving-ocsigen.syntax), syntax(camlp4o)
    

    NOTE :*或"test_logic.native" *对于链接阶段非常重要 .

    然后运行:

    ocamlbuild -use-ocamlfind test_logic.native -classic-display
    

    所以我可能会坚持使用这个ocamlbuild解决方案 . 如果有人知道如何在omake中实现这一点,那么也可以很好地看到答案 .

相关问题