Your message dated Mon, 17 Oct 2016 12:26:26 -0400 with message-id <878ttngcwd....@maguirefamily.org> and subject line Re: Bug#840815: acl2: FTBFS on some architectures: HARD ACL2 ERROR in ASSERT$: Assertion failed: has caused the Debian Bug report #840815, regarding acl2: FTBFS on some architectures: HARD ACL2 ERROR in ASSERT$: Assertion failed: 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 ow...@bugs.debian.org immediately.) -- 840815: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840815 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Greetings, and thanks for your report! Fixed in -3. Take care, Emilio Pozuelo Monfort <po...@debian.org> writes: > 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 > > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
--- End Message ---
