Hello Does OCaml support dynamic linking on Mac OS X 10.7 Lion?.
I successfully built: OCaml 3.12.1 (MacPorts) Coq 8.3-pl1 (MacPorts) But I cannot build the loadable plugin for its Ssreflect extension (I can build the statically linked version). (I am not developing software using ocaml and I could not find the answer in the documentation) Thanks in advance for any clarification in this matter. Regards Christian -- 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
