test math/coq on amd64 and ia64

[Rene Ladan]

Hi,

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.

Thanks in advance,
Rene Ladan
-- 
"It won't fit on the line."
		-- me, 2001
-------------- 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/7adf1566/attachment.bin