在OCaml源代码中使用Unix函数

Question

我有一个函数来使用函数time.ml中的unix gettimeofday()来获取当前时间.该文件以下列方式访问该函数:

open Unix; (*declared at the top of the file*)

let get_time ()  = Unix.gettimeofday ()

.mli文件中的相应条目如下所示:

val get_time : unit -> float

但在编译期间会抛出错误:

File "_none_", line 1, characters 0-1:
No implementations provided for the following modules:
Unix referenced from time.cmx

我已检查/ lib/ocaml目录中是否存在以下文件:

unix.cmi, unix.a unix.cma unix.cmx unix.cmxa unix.cmxs unix.mli 

并且路径设置正确设置为.bashrc文件.

LD_LIBRARY_PATH=~/lib

尽管存在于同一个/ lib/ocaml目录中,但来自Printf模块的fprintf等其他函数也能正常工作.

什么想法可能是错的？我做错了什么或者我错过了什么？

Answer 1

你必须像这样编译:

ocamlc unix.cma -c time.mli time.ml (* bytecode *)

要么

ocamlopt unix.cmxa -c time.mli time.ml  (* native code *)

Answer 2

如果您有正确配置的 findlib，

ocamlfind ocamlopt -package Unix -linkpkg time.ml

将为您省去选择 .cma 或 .cmxa 版本的麻烦。