Your message dated Thu, 22 Dec 2022 08:39:22 +0000
with message-id <e1p8h6o-00fyxo...@fasolo.debian.org>
and subject line Bug#1026795: fixed in acl2 8.5dfsg-2
has caused the Debian Bug report #1026795,
regarding acl2: FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2
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.)
--
1026795: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1026795
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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.
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 8.5dfsg-2
Done: Camm Maguire <c...@debian.org>
We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1026...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated acl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Dec 2022 10:43:39 -0500
Source: acl2
Architecture: source
Version: 8.5dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Closes: 1026795
Changes:
acl2 (8.5dfsg-2) unstable; urgency=medium
.
* Bug fix: "FTBFS: make: *** [debian/rules:160: infix-stamp] Error 2",
thanks to Lucas Nussbaum (Closes: #1026795).
* build depend latest gcl
* remove superfluous tex-common from build-deps
Checksums-Sha1:
e56fbd9ee8d28ade12a71afd4c5944250cde9088 2268 acl2_8.5dfsg-2.dsc
791cd1375189a486587abbc2c1a31844083aeb16 312856 acl2_8.5dfsg-2.debian.tar.xz
61b0071f6c8fc312e7b71f99d7d29da88842a192 11373 acl2_8.5dfsg-2_source.buildinfo
Checksums-Sha256:
547d573ded4dd0967a976bf34bbc83ef313a6ffcf383a9c5b0734a065f04e6d3 2268
acl2_8.5dfsg-2.dsc
69865d46fe26282938550d5ef9eb0f3c6fa34aabeda5d14e662b8c4733c71952 312856
acl2_8.5dfsg-2.debian.tar.xz
d28228407fbd05657fa08854e881ba7fe20754ef7d7d6824c07f01c39bb34ee0 11373
acl2_8.5dfsg-2_source.buildinfo
Files:
247695b9c64ca6abd63279f8beb3934f 2268 math optional acl2_8.5dfsg-2.dsc
44d03e55678118c7a5303b62c05ba57a 312856 math optional
acl2_8.5dfsg-2.debian.tar.xz
ed5d705f7bffd26016f5848b6a42507d 11373 math optional
acl2_8.5dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmOkDT8ACgkQuEXOUQ+b
cU0o5g/8CVkZ1hsrlfu0aSI61pdvL/24K296GHsSNfOq8jPdNQfubJ4PrbknoA2l
oZwdkO8LOmww1Hpsv1tFOzBRpnVeRzM0u34ZAgSNEugiznvfOVsUupZk1UxyzB61
h+zHkUcks7G+4XxTHQP2cp76nMC5m9I3F60+Fp4/yJKfWRey6i0YflD46BNUClsQ
4MzJZTVistKS+o/d3DKrNCVeoDsMW+IyZxn4zEQ5LBOegwUadSOT8PLXe4Iy6kRI
+TSUO1DSjnUcw4h4b1t0oKw5OI+SDoUsgJBR/kNNMBy8JoMGpH8gATw1NjNCy2Ln
IAR8697JSrqam6Qjf4yBGFuunaSVFjAc867BBbAG+ikwzCQ/KiS/DYxTA3ThFJHm
BLT06z+y1SZdZvaxSPmNefNYKP2Jhm/rr+FIYgHuaNhWK/D/v0fWWqnHVt4ZmNQD
jW6fX5z1VJJfYfCZqEHokqrU5qEcp7roJEB/RZYSCF2H1PzmSjQPhAiBSdMAsu9k
qpif7RjQEJ/TDliKOFGppJYuFhARVS//CuSD4iOl1nNNRrtrsMnrqsXMkINQ0ORW
GQH4lTnDmcP5OsyuHqTkNL/8KjhgnMTaoC/0FkoTsNq+7iCppUruAEBy3CGKnfe2
JNGzdsGGe7kE3kH5z3iqnsxBSLtUSFeY0zPf/LBestECEzHvNlI=
=GHT5
-----END PGP SIGNATURE-----
--- End Message ---
