[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: amd64 breakage



-----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