ACL2 autobuild failure

2002-11-14 Thread Camm Maguire
Greetings! I can successfully build version -11 of this package on all three of these arches, yet the autobuild has failed. In the sparc case, it appears as if the 'sbuild race' or some such failure has struck again, in which files produced by the build are erased prematurely. On the other two,

Re: ACL2 autobuild failure

2002-11-14 Thread Randolph Chung
On the other two, I'm suspecting something with the fakeroot or equivalent. Especially on ia64, I've verified that I can build only as a normal user, not using fakeroot. The tests fail with symptoms of memory corruption or illegal instructions. Any advice most appreciated! do you have a

Re: ACL2 autobuild failure

2002-11-14 Thread Camm Maguire
Greetings! Randolph Chung [EMAIL PROTECTED] writes: On the other two, I'm suspecting something with the fakeroot or equivalent. Especially on ia64, I've verified that I can build only as a normal user, not using fakeroot. The tests fail with symptoms of memory corruption or illegal