It doesn&#39;t change anything :<br>make clean<br>./configure  --enable-menhirlib --enable-doc<br>make<br>...<br><br>ocamlopt.opt -a -w Aer-29 -dtypes    -I src -I /opt/local/lib/ocaml/site-lib/ocamlgraph -o src/why3.cmxa src/why3.cmx<br>

Ocamlopt src/<a href="http://main.ml">main.ml</a><br>Linking  bin/why3.opt<br>File &quot;_none_&quot;, line 1, characters 0-1:<br>Error: Cannot find file dynlink.cmxa<br>make: *** [bin/why3.opt] Error 2<br><br><div class="gmail_quote">

2012/2/28 David MENTRE <span dir="ltr">&lt;<a href="mailto:dmentre@linux-france.org">dmentre@linux-france.org</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hello,<br>
<br>
2012/2/27 Pierre-Alexandre Voye &lt;<a href="mailto:ontologiae@gmail.com">ontologiae@gmail.com</a>&gt;:<br>
<div class="im">&gt; make: *** Waiting for unfinished jobs....<br>
<br>
</div>Are you using parallel compilation of Why3 (make -j /n/?). I had<br>
compilation issue with parallel compilation of Why3. However it might<br>
not be related to your issue or it might have been fixed in the<br>
meantime.<br>
<br>
Best regards,<br>
david<br>
</blockquote></div><br><br clear="all"><br>-- <br>---------------------<br><a href="https://twitter.com/#%21/ontologiae/" target="_blank">https://twitter.com/#!/ontologiae/</a><br><a href="http://linuxfr.org/users/montaigne" target="_blank">http://linuxfr.org/users/montaigne</a><br>

<br>