Source: acl2 Version: 8.5dfsg-1 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20221220 ftbfs-bookworm
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[1]: Entering directory '/<<PKGBUILDDIR>>/books/interface/infix' > rm -f workxxx > echo ':q' > workxxx > echo '(in-package "user")' >> workxxx > echo '(when (find-package "sloop") (use-package "sloop"))' >> workxxx > echo '(compile-file "infix.lisp")' >> workxxx > echo '(load "infix")' >> workxxx > echo '(compile-file "scribe-init.lisp")' >> workxxx > echo '(compile-file "latex-init.lisp")' >> workxxx > /<<PKGBUILDDIR>>/saved_acl2 < workxxx > GCL (GNU Common Lisp) 2.6.12 Fri Apr 22 15:51:11 UTC 2016 ANSI git: > Version_2_6_13pre131 > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) > Binary License: GPL due to GPL'ed components: (XGCL 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. > Temporary directory for compiler files set to /tmp/ > ; Hons-Note: grew SBITS to 9667409; 0.15 seconds, [unknown] bytes. > > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ > + ACL2 Version 8.5 + > + built December 20, 2022 20:46:38. + > + Copyright (C) 2022, Regents of the University of Texas. + > + ACL2 comes with ABSOLUTELY NO WARRANTY. This is free software and + > + you are welcome to redistribute it under certain conditions. For + > + details, see the LICENSE file distributed with ACL2. + > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ > > > ACL2 Error in ACL2-INTERFACE: Unable to obtain the truename of file > "/sbuild-nonexistent/". Note: Calling OUR-TRUENAME from LP. > > > Error: > Fast links are on: do (si::use-fast-links nil) for debugging > Signalled by LP. > > Raw Lisp Break. > SIMPLE-ERROR: ACL2 Halted > > Broken at APPLY. Type :H for Help. > 1 Return to top level. > ACL2>> > ACL2> > Correctable error: > Fast links are on: do (si::use-fast-links nil) for debugging > Signalled by SYSTEM:IN-PACKAGE-INTERNAL. > If continued: Input new package > Raw Lisp Break. > Condition in SYSTEM:IN-PACKAGE-INTERNAL [or a callee]: > INTERNAL-SIMPLE-PACKAGE-ERROR: Package error on "user": No such package > > Broken at APPLY. Type :H for Help. > 1 (continue) Input new package > 2 Return to top level. > ACL2>> > NIL > ACL2>> > ; (DEFUN READ-KEYWORD-FORM ...) is being compiled. > ;; The variable FOR is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable I is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable FROM is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable TO is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable DO is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN ACL2-KEYWORDP) is being compiled. > ;; Warning: The variable KEY is not used. > ; (DEFUN CLEAN-UP ...) is being compiled. > ;; The variable LST is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable IN is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable ALIST is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable PAIR is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable UNLESS is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable COLLECT is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN MAKE-INFIX-MULTIPLE-OP ...) is being compiled. > ;; The variable STR is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN PRINT-STRING ...) is being compiled. > ;; The variable J is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable BELOW is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable CHAR is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable = is undefined. > ;; The compiler will assume this variable is a global. > ;; Warning: The type of the form (THE STRING STR) is not CHARACTER. > ;; Warning: The type of the form (THE STRING STR) is not T. > ;; The variable FINALLY is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN PRINT-ATOM ...) is being compiled. > ;; The variable WITH is undefined. > ;; The compiler will assume this variable is a global. > ;; Warning: The type of the form (THE STRING STR) is not CHARACTER. > ;; Warning: The type of the form (THE STRING STR) is not T. > ;; Warning: The type of the form (THE STRING ATM) is not CHARACTER. > ;; Warning: The type of the form (THE STRING ATM) is not T. > ; (DEFUN PRINT-ATOMS ...) is being compiled. > ;; The variable X is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable ON is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN QUOTE-PRINTER1-TT-FORM ...) is being compiled. > ;; The variable TAIL is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable UNTIL is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN QUOTE-PRINTER1-ADVISE-BREAK ...) is being compiled. > ;;; The block NIL is undefined. > ; (DEFUN SMASH-INFIX-READTABLE ...) is being compiled. > ;; The variable C is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable AS is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable N is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable L is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable CH is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable LL is undefined. > ;; The compiler will assume this variable is a global. > ;;; The block NIL is undefined. > ; (DEFUN MATCH2-MACRO ...) is being compiled. > ;; The variable SUBPAT is undefined. > ;; The compiler will assume this variable is a global. > ; (DEFUN CONDIFY ...) is being compiled. > ;; The variable PAIRS is undefined. > ;; The compiler will assume this variable is a global. > ;; The variable WHILE is undefined. > ;; The compiler will assume this variable is a global. > > Correctable error: > Fast links are on: do (si::use-fast-links nil) for debugging > Signalled by COND. > If continued: Input new package > Raw Lisp Break. > Condition in COND [or a callee]: INTERNAL-SIMPLE-UNDEFINED-FUNCTION: Cell > error on SLOOP: Undefined function: > > Broken at APPLY. > 1 (abort) Return to debug level 1. > 2 (continue) Input new package > 3 Return to top level. > >>> > Correctable error: > Fast links are on: do (si::use-fast-links nil) for debugging > Signalled by CLEAN-UP. > If continued: Input new package > Raw Lisp Break. > Condition in CLEAN-UP [or a callee]: INTERNAL-SIMPLE-UNDEFINED-FUNCTION: Cell > error on SLOOP: Undefined function: > > Broken at APPLY. > 1 (abort) Return to debug level 2. > 2 Return to debug level 1. > 3 (continue) Input new package > 4 Return to top level. > >>>> > The compiler was called recursively. > Cannot compile scribe-init.lisp. > NIL > NIL > NIL > >>>> > The compiler was called recursively. > Cannot compile latex-init.lisp. > NIL > NIL > NIL > >>>>make[1]: *** [Makefile:41: compile] Error 255 > make[1]: Leaving directory '/<<PKGBUILDDIR>>/books/interface/infix' > make: *** [debian/rules:160: infix-stamp] Error 2 The full build log is available from: http://qa-logs.debian.net/2022/12/20/acl2_8.5dfsg-1_unstable.log All bugs filed during this archive rebuild are listed at: https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20221220;users=lu...@debian.org or: https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20221220&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
