Re: Architecture question
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 \
| wichert@cistron.nl http://www.liacs.nl/~wichert/ |
| 1024D/2FA3BC2D 576E 100B 518D 2F16 36B0 2805 3CB8 9250 2FA3 BC2D |
Reply to: