OCaml多文件编译遇Unbound Module错误，求Makefile修改方案

问题根源 #

编译时出现Error: Unbound Module <module name>，本质是编译器找不到依赖模块的编译产物（.cmi接口文件、.cmx原生代码目标文件），且未正确指定模块搜索路径、处理编译顺序。

示例项目结构 #

先明确你的项目目录结构（以你给出的示例为准）：

project-root/
├── A/
│   └── sourcea.ml  # 定义ModuleA模块
├── B/
│   └── sourceb.ml  # 调用ModuleA的方法
└── Makefile

示例模块代码 #

• A/sourcea.ml（显式定义ModuleA子模块）：

module ModuleA = struct
  let greet name = Printf.printf "Hello, %s!\n" name
end

• B/sourceb.ml（调用ModuleA）：

let () = Sourcea.ModuleA.greet "Advent of Code 2022"

注意：OCaml默认将文件名首字母大写作为顶层模块名，sourcea.ml对应Sourcea顶层模块，里面的ModuleA是子模块，因此调用时需写Sourcea.ModuleA。如果想直接用ModuleA作为顶层模块，建议将文件名改为modulea.ml，对应顶层模块ModuleA。

修正后的Makefile #

以下Makefile无需依赖Dune、opam，仅用ocamlopt完成多模块编译：

# 原生代码编译器（若需字节码编译可替换为ocamlc）
OCAMLOPT = ocamlopt

# 模块搜索路径：告诉编译器去A、B目录查找依赖模块的编译产物
INCLUDE_PATHS = -I A -I B

# 最终生成的可执行文件名
TARGET = aoc_challenge

# 所有需要编译的源文件
SOURCES = A/sourcea.ml B/sourceb.ml

# 编译后生成的.cmx目标文件列表（自动替换.ml后缀为.cmx）
CMX_FILES = $(SOURCES:.ml=.cmx)

# 默认目标：编译生成可执行文件
all: $(TARGET)

# 链接所有.cmx文件生成可执行文件
$(TARGET): $(CMX_FILES)
	$(OCAMLOPT) $(INCLUDE_PATHS) -o $@ $^

# 通用规则：编译单个.ml文件为.cmx（同时生成.cmi接口文件）
%.cmx: %.ml
	$(OCAMLOPT) $(INCLUDE_PATHS) -c $<

# 清理编译产物
clean:
	rm -f $(TARGET) A/*.cm* A/*.o B/*.cm* B/*.o

关键说明 #

1. INCLUDE_PATHS参数：通过-I指定模块搜索目录，确保编译sourceb.ml时能找到sourcea.ml生成的.cmi接口文件。
2. 编译顺序：Make会自动解析依赖关系——因为sourceb.ml依赖sourcea.ml，会先编译sourcea.ml生成sourcea.cmi和sourcea.cmx，再编译sourceb.ml。
3. 通用编译规则：%.cmx: %.ml定义了从.ml到.cmx的编译规则，无需为每个文件单独写编译命令。

使用方法 #

1. 在项目根目录执行make，会自动编译所有模块并生成可执行文件aoc_challenge。
2. 运行可执行文件：./aoc_challenge，会输出Hello, Advent of Code 2022!。
3. 清理编译产物：执行make clean。

额外注意事项 #

• 若使用字节码编译，只需将OCAMLOPT替换为ocamlc，将.cmx改为.cmo，最终生成的是字节码可执行文件。
• 模块名与文件名尽量保持一致（首字母大写对应），避免因嵌套模块导致的调用混乱，比如将sourcea.ml改为modulea.ml，即可直接用ModuleA.greet调用。

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