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

Architecture question



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: pgpSS3dOSCROf.pgp
Description: PGP signature


Reply to: