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

Re: Architecture question

On Sun, Apr 22, 2001 at 01:24:43PM -0500, Taral wrote:
> 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.)

eg your PPro 200? :-)

Hamish Moffatt VK3SB <hamish@debian.org> <hamish@cloud.net.au>

Reply to: