Previously 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.)
No. Wichert. -- ________________________________________________________________ / Generally uninteresting signature - ignore at your convenience \ | [EMAIL PROTECTED] http://www.liacs.nl/~wichert/ | | 1024D/2FA3BC2D 576E 100B 518D 2F16 36B0 2805 3CB8 9250 2FA3 BC2D |
