OCamlfind本地库未绑定模块

时间:2015-03-21 00:51:25

标签: ocaml ocamlbuild

我正在尝试使用ocamlfind来安装library。我正在使用OCamlMakeFile。这是我的Makefile:

OCAMLMAKEFILE = OCamlMakeFile

RESULT = owebl
SOURCES = src/utils.ml src/verb.ml src/request.ml src/template.ml src/response.ml src/rule.ml src/handler.ml src/server.ml
PACKS = unix str

all: native-code-library byte-code-library
install: libinstall
uninstall: libuninstall

include $(OCAMLMAKEFILE)

所以基本上这个库是我要分发的模块集合。该库的基本用法是(main.ml):

open Response
open Rule
open Verb
open Server

let handler =
    Handler.create
        (StaticRouteRule.create "/" [GET])
        (FileResponse.create
            ~static_file:(FileResponse.StaticFile "/index.html")
            ())

let server = Server.create "0.0.0.0" 8080 [handler];;

server#serve

我只是通过运行“make”来编译库。它生成三个文件:“owebl.a,owebl.cma,owebl.cmxa”。然后我使用ocamlfind安装库:

ocamlfind install owebl META owebl.a owebl.cma owebl.cmxa

哦,META文件是:

version = "0.1"
name = "OWebl"
description = "A Web Framework for OCaml"
archive(byte) = "owebl.cma"
archive(native) = "owebl.cmxa"
requires = "unix,str"

一切正常,直到我尝试编译上面使用该库的示例。我跑:

ocamlbuild -use-ocamlfind -pkgs owebl main.native

我得到了:

ocamlbuild -use-ocamlfind -pkgs owebl main.native
+ ocamlfind ocamlc -c -package owebl -o main.cmo main.ml
File "main.ml", line 1, characters 5-10:
Error: Unbound module Owebl
Command exited with code 2.
Hint: Recursive traversal of subdirectories was not enabled for this build,
  as the working directory does not look like an ocamlbuild project (no
  '_tags' or 'myocamlbuild.ml' file). If you have modules in subdirectories,
  you should add the option "-r" or create an empty '_tags' file.

  To enable recursive traversal for some subdirectories only, you can use the
  following '_tags' file:

      true: -traverse
      <dir1> or <dir2>: traverse

Compilation unsuccessful after building 2 targets (1 cached) in 00:00:00.
make: *** [fileserver] Error 10

我尝试将open Owebl添加到main.ml的开头,但我只是得到了“未绑定的模块Owebl”。我很遗憾为什么这些模块都是未绑定的。我错过了什么?

2 个答案:

答案 0 :(得分:2)

如果要将模块打包在伞形命名空间(如LIB_PACK_NAME),则应使用OWebl变量,否则它们将按原样使用,例如ResponseRule等。此外,您还应在mli变量中指定ml个文件以及SOURCES个文件。最后,您不应忘记安装cmi个文件以及.a个文件。安装mli文件也被认为是一个很好的传统,尽管并非严格要求。另外,请考虑使用OCamlMakefile安装工具而不是自定义安装脚本。

答案 1 :(得分:0)

我不再使用OCamlMakefile因此不确定,但假设OCamlMakefile使用-for-pack OWebl选项编译并正确构建打包模块owebl.cmo,则还需要安装owebl.cmi。< / p>

OCaml编译器寻找cmi个文件来检查模块是否存在并获取其类型信息。如果未安装,编译器无法找到它。 cmacmxa文件是对象的集合,不提供类型信息。