Source: acl2
Version: 7.2dfsg-2
Severity: serious
Hi,
Your package failed to build on mips64el, as well as in some other
(non-release) architectures. From the mips64el log:
start address -T 0xc0c0f0 ;; Finished loading #p"boot-strap-pass-2.o"
;; Loading "defpkgs.lisp"
[GC for 95 SYMBOL pages..(T=9).GC finished]
[GC for 334 CONS pages..(T=10).GC finished]
[GC for 344 CONS pages..(T=10).GC finished]
[GC for 344 CONS pages..(T=10).GC finished]
[GC for 344 CONS pages..(T=10).GC finished]
;; Finished loading "defpkgs.lisp"
[GC for 74 SFUN pages..(T=10).GC finished]
HARD ACL2 ERROR in ASSERT$: Assertion failed:
(ASSERT$ (AND (TRUE-LISTP DIR)
(EQ (CAR DIR) :ROOT))
(LET* ((MSWINDOWS-DRIVE (MSWINDOWS-DRIVE # STATE))
(TMP (IF MSWINDOWS-DRIVE # "/")))
(DOLIST (X DIR)
(WHEN (STRINGP X) (SETQ TMP #)))
(WHEN (STRINGP NAME)
(SETQ TMP (CONCATENATE # TMP NAME)))
(WHEN (STRINGP TYPE)
(SETQ TMP (CONCATENATE # TMP "." TYPE)))
(LET ((NAMESTRING-TMP #)
(NAMESTRING-TRUENAME #))
(COND (# TMP) (# TMP) (T # #)))))
(See :DOC set-iprint to be able to see elided values in this message.)
ACL2 Error in ACL2-INTERFACE: Evaluation aborted. To debug see :DOC
print-gv, see :DOC trace, and see :DOC wet.
Error:
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by INITIALIZE-ACL2.
Raw Lisp Break.
SIMPLE-ERROR: ACL2 Halted
Broken at APPLY. Type :H for Help.
1 Return to top level.
ACL2>>make[2]: Entering directory '/«PKGBUILDDIR»'
ACL2_WD is /«PKGBUILDDIR»
Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
GNUmakefile:340: recipe for target 'check_init_ok' failed
make[2]: *** [check_init_ok] Error 1
Full logs at https://buildd.debian.org/status/package.php?p=acl2
Emilio
