Question

我正在尝试使用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”。我很遗憾为什么这些模块都是未绑定的。我错过了什么？

Answer 1

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

Answer 2

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

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

OCamlfind本地库未绑定模块

2 个答案: