On 15 Feb 2012, at 13:34, Daniel Bünzli wrote:
Can't precisely answer your questions but :
to understand what is the state of things on os x. According to this
message http://alan.petitepomme.net/cwn/2008.10.21.html natdynlink
does
not work on 10.5 and above.
At least here it does work without problems on 10.6.8. with this [1]
config.
OK, so I guess this is a bug with why3. I'll report it there.
Thanks,
Alan
--
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