I cannot get ocamlbuild to link properly under a very specific situation that involves nested and packed modules. The following is a minimal example that reproduces the problem.<div><br></div><div><div><div>$ cat a2.mli</div>
<div>val f : unit -&gt; unit</div><div><br></div></div><div>$ cat <a href="http://a2.ml">a2.ml</a></div><div>let f _ = ()</div><div><br></div><div><div>$ cat <a href="http://lib.ml">lib.ml</a>&nbsp;</div><div>module A = A2</div>
<div><br></div><div><div>$ cat <a href="http://b.ml">b.ml</a></div><div>let g = Lib.A.f</div><div><br></div><div><div>$ cat sup.mlpack&nbsp;</div><div>B</div><div><br></div><div><div>$ cat <a href="http://prog.ml">prog.ml</a>&nbsp;</div>
<div>let _ = Sup.B.g ()</div><div><br></div><div>Now try compiling:</div><div><div>$ ocamlbuild prog.byte</div><div>+ /Users/ashish/godi/bin/ocamlc.opt lib.cmo sup.cmo prog.cmo -o prog.byte</div><div>Error while linking lib.cmo: Reference to undefined global `A2&#39;</div>
<div>Command exited with code 2.</div><div><br></div><div>The problem is that a2.cmo should be included but is not. The linking is done correctly if I do any of the following:</div><div>-&nbsp;delete a2.mli</div><div>- in <a href="http://prog.ml">prog.ml</a>, directly call Lib.A.f (which is what Sup.B.g is defined as)</div>
<div>- in <a href="http://prog.ml">prog.ml</a>, directly call B.g, without packing B in Sup</div><div><br></div><div>I would appreciate any help. Thank you.</div><div><br></div></div></div></div></div></div></div>