OCaml执行ocamlopt链接cmxa文件报非编译单元描述问题咨询

报错来自两个核心问题，和缺少.cmx类文件无关：

• 你没有正确生成合法的test.cmxa文件。.cmxa是OCaml原生代码静态库归档，必须通过ocamlopt -a参数显式打包生成，不会因为你把t1、t2相关的.cmi/.cmx/.obj文件放进tool目录就自动存在。你当前执行命令时传入的test.cmxa要么不存在，要么是无效文件，编译器无法识别为合法编译单元/库文件，就会抛出对应错误。
• -I参数的作用仅为告知编译器搜索.cmi接口文件的目录路径，不会自动扫描目录下的.cmxa库文件。就算你正确生成了test.cmxa放在tool目录，不写全库的路径、只写test.cmxa的话，编译器只会在当前执行目录找这个文件，找不到也会报错。

你直接传入tool/t1.cmx能编译成功是符合预期的：.cmx是OCaml原生编译的单元目标文件，链接阶段本身就需要这类文件，不打包成库的时候，直接把所有依赖的.cmx按顺序传给编译器即可完成编译链接，这是最基础的多文件编译方式。

以下流程完全适配Cygwin下OCaml 4.14.0环境，和你的场景完全匹配：

1. 编译库的源文件，生成接口、编译单元、平台目标文件
   执行以下命令编译t1.ml、t2.ml：

   ocamlopt -c t1.ml t2.ml
   

   执行完成后会生成t1.cmi、t1.cmx、t1.obj、t2.cmi、t2.cmx、t2.obj文件，你可以将这些文件全部移入tool目录存放。
2. 打包生成合法.cmxa静态库
   必须加-a参数触发归档打包逻辑，指定输出的库文件名：

   # 若编译生成的t1.cmx、t2.cmx在当前目录，执行
   ocamlopt -a -o test.cmxa t1.cmx t2.cmx
   # 若已经把t1.cmx、t2.cmx移入tool目录，执行
   ocamlopt -a -o tool/test.cmxa tool/t1.cmx tool/t2.cmx
   

   命令执行完成后生成的test.cmxa才是编译器可识别的有效库文件，打包过程中编译器会自动关联对应的.obj目标文件，不需要手动指定。
3. 编译主程序test.ml
   根据test.cmxa的存放位置选择对应命令：
   • 库存放在tool目录时：

     ocamlopt -I tool -o test.exe tool/test.cmxa test.ml
     

   • 库存放在当前执行目录时：

     ocamlopt -I tool -o test.exe test.cmxa test.ml
     

   注意依赖项要写在主源文件前面，ocamlopt按从左到右的顺序处理参数，顺序写反会触发符号找不到的链接错误。

• 不需要刻意记忆哪些文件是链接必需的：无论是直接传.cmx文件，还是传打包好的.cmxa文件，编译器会自动查找同目录下关联的接口、目标文件，只要路径配置正确就不会缺文件。
• Cygwin环境下生成的.obj后缀文件是Windows平台正常编译产物，和Linux下的.o文件作用一致，不需要额外处理。

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