oh sorry my mistake, I forgot "make opt" :-) now dynlink.cmxa is there:
philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ gfind /opt/ocaml/ -iname "dynlink*" /opt/ocaml/lib/ocaml/dynlink.a /opt/ocaml/lib/ocaml/dynlink.cma /opt/ocaml/lib/ocaml/dynlink.cmi /opt/ocaml/lib/ocaml/dynlink.cmx /opt/ocaml/lib/ocaml/dynlink.cmxa /opt/ocaml/lib/ocaml/dynlink.mli -- 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
