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 instructions. > > > > Any advice most appreciated! > > do you have a small testcase for the failure? > Will this do? In my home directroy on caballero: [EMAIL PROTECTED]:~/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 [EMAIL PROTECTED]:~/acl2-2.6$ kill %1 kill %1 [1]+ Stopped ./saved_acl2 [1]+ Terminated ./saved_acl2 [EMAIL PROTECTED]:~/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 "$*" [EMAIL PROTECTED]:~/acl2-2.6$ Take care, > randolph > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
