From: [email protected]

Package: acl2
Version: 2.8-4
Severity: serious

Hi,

trying to build the package in a clean environment (pbuilder chroot), I got:

============================================================================= [...]
ACL2>if echo '(si::sgc-on t)' | gcl ; then \
echo '(compiler::link (list "acl2-fns.o" "axioms.o" "basis.o" "translate
.o" "type-set-a.o" "type-set-b.o" "rewrite.o" "simplify.o" "bdd.o" "other-proces
ses.o" "induct.o" "history-management.o" "prove.o" "defuns.o" "proof-checker-a.o
" "defthm.o" "other-events.o" "ld.o" "proof-checker-b.o" "tutorial.o" "interface
-raw.o" "linear-a.o" "linear-b.o" "non-linear.o" "TMP1.o") "nsaved_acl2" "(load \"foo.lsp\") (setq compiler::*default-system-p* nil) (in-package \"acl2\") (save
-acl2 (quote (initialize-acl2 (quote include-book) *acl2-pass-2-files* t nil \"/
usr/share/acl2-2.8/books/\")) \"saved_acl2\"))" "" nil)' | gcl ; \
else \
echo '(compiler::link (list "acl2-fns.o" "axioms.o" "basis.o" "translate
.o" "type-set-a.o" "type-set-b.o" "rewrite.o" "simplify.o" "bdd.o" "other-proces
ses.o" "induct.o" "history-management.o" "prove.o" "defuns.o" "proof-checker-a.o
" "defthm.o" "other-events.o" "ld.o" "proof-checker-b.o" "tutorial.o" "interface
-raw.o" "linear-a.o" "linear-b.o" "non-linear.o" "TMP1.o") "nsaved_acl2" "(fmaku
nbound (quote si::sgc-on))(load \"foo.lsp\") (setq compiler::*default-system-p* nil) (in-package \"acl2\") (save-acl2 (quote (initialize-acl2 (quote include-boo
k) *acl2-pass-2-files* t nil \"/usr/share/acl2-2.8/books/\")) \"saved_acl2\"))" "" nil)' | gcl ; \
fi
GCL (GNU Common Lisp) 2.6.4 CLtL1 Aug 10 2004 22:39:50
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.


T

GCL (GNU Common Lisp) 2.6.4 CLtL1 Aug 10 2004 22:39:50

Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.

GCL (GNU Common Lisp) April 1994 131072 pages

Building symbol table for /tmp/buildd/acl2-2.8/raw_nsaved_acl2 ..

Unrecoverable error: Segmentation violation..
Aborted

"nsaved_acl2"

mv nsaved_acl2.gcl nsaved_acl2

mv: cannot stat `nsaved_acl2.gcl': No such file or directory
make: *** [nsaved_acl2] Error 1 =============================================================================

Thanks for considering.

bye,
Roland


-- System Information:
Debian Release: 3.1
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.7
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (ignored: LC_ALL set to en_GB.UTF-8)


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)