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

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.)



 / 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: