From: sanvila@debian.org
Package: src:acl2
Version: 8.6+dfsg-3
Severity: serious
Tags: ftbfs forky sid
Dear maintainer:
During a rebuild of all packages in unstable, this package failed to build.
Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:
https://people.debian.org/~sanvila/build-logs/202602/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:acl2, so that this is still
visible in the BTS web page for this package.
Thanks.
----------------------------------------------------------------
---------------
[...]
make[1]: Leaving directory '/<>'
mv mini-proveall.out debian/mini-proveall.out
echo "(f-put-global 'old-certification-dir \"$(pwd)/books\" state)" \
"(f-put-global 'new-certification-dir \"/usr/share
acl2-8.6+dfsg/books\" state)" \
":q #-native-reloc (setq si::*multiply-stacks* 4) :q (in-package :acl2)
" \
"#+(or sparc sparc64)(progn (si::sgc-on nil) (fmakunbound 'si::sgc-on))"
\
"(save-exec \"saved_acl2.c\" \"Modified to produce final
certification files\")" | HOME=$(pwd) ./saved_acl2
GCL (GNU Common Lisp) 2.7.1 Thu Apr 10 09:38:27 PM EDT 2025 ANSI git:
Version_2_7_2pre9
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 17931754; 0.00 seconds, [unknown] bytes.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+ ACL2 Version 8.6+ (a development snapshot based on ACL2 Version 8.6) +
+ built February 21, 2026 18:18:07. +
+ (Note from the environment when this executable was saved: +
+ commit 1c7e6f3564 (tag: post-8.6-for-debian-gcl)) +
+ Copyright (C) 2025, 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. +
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Project-dir-alist:
((:SYSTEM . "/<>/books/")).
Type :help for help.
Type (quit) to quit completely out of ACL2.
ACL2 !>
ACL2 !>
ACL2 !>
Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP).
ACL2>
:Q
ACL2>
#<"ACL2" package>
ACL2>
Error:
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by SAVE-EXEC-FN.
Raw Lisp Break.
SIMPLE-ERROR: SAVE-EXEC is unable to save to file "saved_acl2.c", because its
directory does not exist.
Broken at APPLY. Type :H for Help.
1 Return to top level.
ACL2>>make: *** [debian/rules:91: saved_acl2.c] Error 255
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit
status 2
----------------------------------------------------------------
---------------
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
