test math/coq on amd64 and ia64

[Johan van Selst]

Rene Ladan wrote:
> could anyone who has access to an ia64 or amd64 machine (which I do not)
> try to compile and run math/coq with ocaml 3.08.2 and report any
> success/failure back to me?  You currently need to define the TRYBROKEN
> environment variable or comment out the BROKEN line in the Makefile.

It works for me on amd64 - just ran the test-suite without problems.
(amd64, running 6-CURRENT with ocaml 3.08.2)


Ciao,
Johan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-ports/attachments/20041220/52fbc48c/attachment.bin