OCaml静态检测标准发行版中对非普及库的依赖性
与OCaml一起提供的某些模块，如OCaml静态检测标准发行版中对非普及库的依赖性,ocaml,ocamlfind,Ocaml,Ocamlfind,与OCaml一起提供的某些模块，如Unix和Bigarray在ocamlopt-where中有自己的.cmx和.cmxa文件（在我当前的opam交换机中的系统上是~/.opam/4.03.0/lib/OCaml） 有没有办法在不编译的情况下确定哪些源文件依赖于标准发行版中的哪些“特殊”库？我打算稍后在Makefile中使用这个输出 下面的程序example.ml open Unix;; Unix.system "echo hi";; 可以使用ocamlfind ocamlopt-packag
UnixBigarrayocamlopt-where.cmx.cmxa~/.opam/4.03.0/lib/OCamlexample.mlopen Unix;;
Unix.system "echo hi";;
ocamlfind ocamlopt-package unix-linkpkg example.mlocamlfindUnixUnix.cmxaocamldep-all example.mlexample.mlexample.mlUnix$ ocamldep -all example.ml
example.cmo example.cmi : example.ml
example.cmx example.o example.cmi : example.ml
我知道你的问题是： 对于给定的模块名，例如Unix，我们如何找到提供它的库 不幸的是，目前还没有这样的工具 如果我们将搜索空间限制在OCaml编译器本身附带的库中，我会：
$ ocamlobjinfo $HOME/.opam/4.03.0/lib/ocaml/*.cma | grep '^\(File\|Unit name\)'
一般来说，这是不可能的，因为您寻找的库可能不是标准库，也可能不是本地安装的。您可以使用API搜索引擎，如ocamloscope，但它们当然不会涵盖所有编写的OCaml库。我知道您的问题是： 对于给定的模块名，例如Unix，我们如何找到提供它的库 不幸的是，目前还没有这样的工具 如果我们将搜索空间限制在OCaml编译器本身附带的库中，我会：
$ ocamlobjinfo $HOME/.opam/4.03.0/lib/ocaml/*.cma | grep '^\(File\|Unit name\)'
一般来说，这是不可能的，因为您寻找的库可能不是标准库，也可能不是本地安装的。您可以使用像ocamloscope这样的API搜索引擎，但它们当然不会涵盖所有编写的OCaml库。尽管模块可能被打包到具有任意名称的库中，但模块接口仍然保留顶级模块名称和编译模块接口文件名之间的一对一映射。因此，如果出现错误“Unbound module Xxx”，可以执行以下操作
find ~/.opam -iname Xxx.cmi
apt fileocamlfindocamlfind如果您有多个结果，那么您需要使用常识来确定需要使用两个库中的哪一个。或者，您可以尝试使用一个和另一个，并查看编译的是哪一个 尽管模块可能被打包到具有任意名称的库中，但模块接口仍然保留顶级模块名称和编译模块接口文件名之间的一对一映射。因此，如果出现错误“Unbound module Xxx”，可以执行以下操作
find ~/.opam -iname Xxx.cmi
apt fileocamlfindocamlfind