The Coq mailing list

[Roland Zumkeller <Roland.Zumkeller AT polytechnique.fr>]

Hi,
compiling Coq's latest development version under OS X yields the 
following error (but works under Linux):
...
ranlib kernel/byterun/libcoqrun.a
COQMKTOP -o bin/coqtop.opt
strip bin/coqtop.opt
bin/coqtop.opt -boot     -nois -compile theories/Init/Notations
bin/coqtop.opt -boot     -nois -compile theories/Init/Logic
make: *** [theories/Init/Logic.vo] Segmentation fault

Commenting out some parts of Logic.v reveals that the error occurs 
during the proof of "iff_trans".

Any hints are greatly appreciated.

Thanks,

Roland