Your message dated Thu, 07 Nov 2013 10:37:15 -0500
with message-id <[email protected]>
and subject line acl2 FTBFS
has caused the Debian Bug report #725524,
regarding acl2: FTBFS: Segmentation fault
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
725524: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725524
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: acl2
Version: 6.3-1
Severity: serious
Justification: FTBFS
Hi,
your package FTBFS on all archs:
| make[2]: Leaving directory `/«PKGBUILDDIR»'
| make[1]: Leaving directory `/«PKGBUILDDIR»'
| mv *saved_acl2.gcl saved_acl2
| /usr/bin/make mini-proveall
| make[1]: Entering directory `/«PKGBUILDDIR»'
| Segmentation fault
| make[1]: *** [mini-proveall] Error 139
mipsel additionally logs stuff about rlimit:
| /usr/bin/make mini-proveall
| make[1]: Entering directory `/«PKGBUILDDIR»'
| Cannot set stack rlimit
| /bin/sh: line 1: 20333 Done echo '(value :q) (lp)
(mini-proveall)'
| 20334 Segmentation fault | ./saved_acl2 > mini-proveall.out
| make[1]: *** [mini-proveall] Error 139
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Greetings! This is resolved in the latest package, 6.3-5. Thanks for
your report!
--
Camm Maguire [email protected]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
--- End Message ---
