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

Re: ACL2 autobuild failure


Randolph Chung <tausq@debian.org> 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 instructions.
> > 
> > Any advice most appreciated!
> do you have a small testcase for the failure?

Will this do?

In my home directroy on caballero:

camm@caballero:~/acl2-2.6$ ./saved_acl2
GCL (GNU Common Lisp)  Version(2.5.0) Thu Nov 14 01:18:28 GMT 2002
Licensed under GNU Library General Public License
Contains Enhancements by W. Schelter

 ACL2 Version 2.6 built November 14, 2002  01:55:55.
 Copyright (C) 2001  University of Texas at Austin
 ACL2 comes with ABSOLUTELY NO WARRANTY.  This is free software and you
 are welcome to redistribute it under certain conditions.  For details,
 see the GNU General Public License.

 See the documentation topic note-2-6 for recent changes.

 NOTE!!  Proof trees are disabled in ACL2.  To enable them in emacs,
 look under the ACL2 source directory in interface/emacs/README.doc; 
 and, to turn on proof trees, execute :START-PROOF-TREE in the ACL2 
 command loop.   Look in the ACL2 documentation under PROOF-TREE.

ACL2 Version 2.6.  Level 1.  Cbd "/home/camm/acl2-2.6/".
Type :help for help.

ACL2 !>

[1]+  Stopped                 ./saved_acl2
camm@caballero:~/acl2-2.6$ kill %1
kill %1

[1]+  Stopped                 ./saved_acl2
[1]+  Terminated              ./saved_acl2
camm@caballero:~/acl2-2.6$ fakeroot ./saved_acl2
fakeroot ./saved_acl2
[SGC off]
Unrecoverable error: Segmentation violation..
/usr/bin/fakeroot: line 84: 14869 Aborted                 FAKEROOTKEY=$FAKEROOTKEY LD_LIBRARY_PATH=$PATHS LD_PRELOAD=$LIB sh -c "$*"

Take care,

> randolph

Camm Maguire			     			camm@enhanced.com
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Reply to: