The Coq mailing list

[Jean-Jacques Levy <jean-jacques.levy AT inria.fr>]

Hello crowd! 

problem with coq-8.3pl2-macosx.dmg with following plugin:

> coqc  -q  -R theories Ssreflect -R src Ssreflect   theories/ssreflect
> File "/Users/levy/Downloads/ssreflect-1.3pl1/theories/ssreflect.v", line 5, 
> characters 0-30:
> Error: error loading shared library: 
> dlopen(/Users/levy/Downloads/ssreflect-1.3pl1/src/ssreflect.cmxs, 138): no 
> suitable image found.  Did find:
>       /Users/levy/Downloads/ssreflect-1.3pl1/src/ssreflect.cmxs: mach-o, 
> but wrong architecture
> make[1]: *** [theories/ssreflect.vo] Error 1

Disk image compiled with 32-bit option, but Ssreflect plugin is compiled with 
64-bit. There is this Mac format for having dual formats 32+64. I think it 
would be preferable to distribute the dual version. Moreover the standard on 
Mac will evolve to 64-bit.

Best to all, -JJ-