-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 > > > math/coq coqtop segv > > let me see the error output? > > ... > bin/coqtop.opt -boot -batch -silent -nois -I syntax -load-vernac-source synta > x/MakeBare.v -outputstate states/barestate.coq > gmake: *** [states/barestate.coq] Segmentation fault (core dumped) > *** Error code 2 hmmm... I can't say why segfault occured. anyway, here is an update to 8.0pl1. please check if it work well and commit to the ports tree? I aim to use a flavor "native" automatically when ocaml native code compiler exists, but something's wrong. I must do explicitly "env FLAVOR=native make ..." if I want. - -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (OpenBSD) iD8DBQFB6tAXAdah/X2G1fwRAnJpAJ9IZdEIHPKg0GQiClH6tI1aNhZ2AwCfQ3ci SUJVuSahovBgY6QybpNweFQ= =7px/ -----END PGP SIGNATURE-----
Attachment:
bin3m7nBZRSr1.bin
Description: coq-8.0pl1-port.tar.gz