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

Reply to: