Re: ACL2 autobuild failure
Greetings!
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
./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.
Initialized with (INITIALIZE-ACL2 'INCLUDE-BOOK *ACL2-PASS-2-FILES* T).
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 "$*"
camm@caballero:~/acl2-2.6$
Take care,
> randolph
>
>
--
Camm Maguire camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: