I'm packaging acl2, which can take several hours to compile on a PPro 200. Would it be reasonable to exclude certain architectures as too slow? (acl2 is a theorem prover.) -- Taral <taral@taral.net> Please use PGP/GPG encryption to send me mail. "Any technology, no matter how primitive, is magic to those who don't understand it." -- Florence Ambrose
Attachment:
pgp8Mn_Gwd9ZV.pgp
Description: PGP signature