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 <dmen...@linux-france.org> > Hello, > > 2012/2/27 Pierre-Alexandre Voye <ontolog...@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 -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
