Ssreflect Users Discussion List

[Enrico Tassi <>]

On Sun, Mar 11, 2012 at 06:44:42PM +0000, Georges Gonthier wrote:
>    Dear Gaspar,
>   I'm afraid I can't help you with the system-specific dynamic loading
>   issue, but the type error is actually a known problem that is not
>   too hard to fix.

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