Ssreflect Users Discussion List

[Christian Doczkal <>]

Hello

I am running coq-8.3_pl2/ssreflect1.3_pl2 on Lion with dynamic linking. There 
is a patch for ocaml that corrects the detection of the OS architecture. This 
is known to the macports people for some time, but no one seems interested 
enough to put it in the tree though. See:

https://trac.macports.org/ticket/31677
http://caml.inria.fr/mantis/view.php?id=4863

Regards
Christian

On 11.03.2012, at 23:18, Enrico Tassi wrote:

> If you are on OSX and compiled a 64bit Coq (the default) there is no way
> to get dynamic linking of ocaml module work AFAIK. So go for static
> linking.  We should update the INSTALL with a note about that, JJ had
> the same problem on thursday.
> 
> Ciao
> -- 
> Enrico Tassi