如何告知OCaml编译器已安装模块（如Csv）的路径

问题背景 #

我在Mac上通过以下命令安装了OCaml：

$ brew install opam
$ opam init --bare -a -y
$ opam switch create cs3110-2022fa ocaml-base-compiler.4.14.0

仅使用标准库模块的OCaml代码可正常运行。为实现读取CSV文件功能，执行$ opam install csv安装了Csv模块，但编译示例代码时出现报错：

$ ocamlopt csvdemo.ml -o csvdemo         
File "csvdemo.ml", line 2, characters 5-8:
2 | open Csv
         ^^^
Error: Unbound module Csv

解决方法 #

方法1：借助opam环境变量编译（最简单） #

opam会维护已安装包的路径信息，直接通过opam exec在正确环境中执行编译命令：

opam exec -- ocamlopt csvdemo.ml -o csvdemo

或者先激活当前opam switch的环境，之后就能正常编译：

eval $(opam env)
ocamlopt csvdemo.ml -o csvdemo

方法2：手动指定模块路径和依赖 #

如果需要手动指定路径，先通过opam获取csv模块的安装位置，再编译时添加参数：

ocamlopt -I $(opam var lib)/csv csv.cmxa csvdemo.ml -o csvdemo

其中$(opam var lib)会输出opam的库根目录，拼接/csv就是Csv模块的存放路径，-I用于告知编译器该路径，csv.cmxa是需要链接的库文件。

方法3：使用Dune构建工具（推荐） #

对于OCaml项目，Dune是更便捷的构建工具，能自动处理依赖和路径：

1. 在项目目录下创建dune文件，内容如下：

(executable
 (name csvdemo)
 (libraries csv))

2. 执行编译命令：

dune build csvdemo.exe

生成的可执行文件位于_build/default/csvdemo.exe，也可以直接运行：

dune exec ./csvdemo.exe

内容的提问来源于stack exchange，提问作者anta40