It doesn't change anything :
make clean
./configure  --enable-menhirlib --enable-doc
make
...

ocamlopt.opt -a -w Aer-29 -dtypes    -I src -I
/opt/local/lib/ocaml/site-lib/ocamlgraph -o src/why3.cmxa src/why3.cmx
Ocamlopt src/main.ml
Linking  bin/why3.opt
File "_none_", line 1, characters 0-1:
Error: Cannot find file dynlink.cmxa
make: *** [bin/why3.opt] Error 2

2012/2/28 David MENTRE <dmentre@linux-france.org>

> Hello,
>
> 2012/2/27 Pierre-Alexandre Voye <ontologiae@gmail.com>:
> > make: *** Waiting for unfinished jobs....
>
> Are you using parallel compilation of Why3 (make -j /n/?). I had
> compilation issue with parallel compilation of Why3. However it might
> not be related to your issue or it might have been fixed in the
> meantime.
>
> Best regards,
> david
>



-- 
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne