Your message dated Thu, 26 Feb 2026 17:18:46 +0000
with message-id <[email protected]>
and subject line Bug#1128663: fixed in gcl27 2.7.1-12
has caused the Debian Bug report #1128663,
regarding acl2: FTBFS: SIMPLE-ERROR: SAVE-EXEC is unable to save to file
"saved_acl2.c", because its directory does not exist.
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 [email protected]
immediately.)
--
1128663: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128663
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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 '/<<PKGBUILDDIR>>'
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 . "/<<PKGBUILDDIR>>/books/")).
Type :help for help.
Type (quit) to quit completely out of ACL2.
ACL2 !><state>
ACL2 !><state>
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
--------------------------------------------------------------------------------
--- End Message ---
--- Begin Message ---
Source: gcl27
Source-Version: 2.7.1-12
Done: Camm Maguire <[email protected]>
We believe that the bug you reported is fixed in the latest version of
gcl27, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <[email protected]> (supplier of updated gcl27 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 25 Feb 2026 08:23:26 -0500
Source: gcl27
Architecture: source
Version: 2.7.1-12
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
Closes: 1108096 1118704 1122744 1128546 1128663
Changes:
gcl27 (2.7.1-12) unstable; urgency=medium
.
* Version_2_7_2pre11
* Bug fix: "FTBFS with glibc 2.43 due to ISO C23 const return types",
thanks to Aurelien Jarno (Closes: #1128546).
* Bug fix: "Update/add debconf template translation [INTL:ca]", thanks
to Carles Pina i Estany (Closes: #1118704).
* Bug fix: "[INTL:sv] Swedish strings for gcl27 debconf", thanks to
Martin Bagge / brother (Closes: #1122744).
* Bug fix: "[INTL:es] Spanish translation of gcl27 debconf template",
thanks to Camaleón (Closes: #1108096).
* Bug fix: "FTBFS: SIMPLE-ERROR: SAVE-EXEC is unable to save to file
"saved_acl2.c", because its directory does not exist.",
thanks to Santiago Vila (Closes: #1128663).
Checksums-Sha1:
ef846f45290e3fa5991510c24b5216860178dcfa 2333 gcl27_2.7.1-12.dsc
3d7c0fff721f32bfb292c36578fd00e0c52ee316 159108 gcl27_2.7.1-12.debian.tar.xz
2b8b08e41aa7c6b687af4643c0bccaff870d87ae 9828 gcl27_2.7.1-12_source.buildinfo
Checksums-Sha256:
8f40b86084f5892c1dfba98c015b318836f12741c97cb744fe2daa79221bf3c4 2333
gcl27_2.7.1-12.dsc
812d2256456a6abc9e98da5ae3dd31c6fc7aa6618db8eea84b4a7a28862b50e1 159108
gcl27_2.7.1-12.debian.tar.xz
e26c652ff0d62c4974e8e881249d27f9994b6d10321227fd69dbf82c68ee3682 9828
gcl27_2.7.1-12_source.buildinfo
Files:
b6df02710a0c23e6c78cf8324ce2bc2d 2333 lisp optional gcl27_2.7.1-12.dsc
977c6536c69f636d3e357e4b1e6e8720 159108 lisp optional
gcl27_2.7.1-12.debian.tar.xz
106d1d8a69e835224748d79dfb7630a3 9828 lisp optional
gcl27_2.7.1-12_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmmgfFAACgkQuEXOUQ+b
cU0CpBAAmxOeVyRRliabJuTbN8CPaslHYbg4ZRxy2sZ3oOiNDqdRdmmiNunN/kJB
T0svU5x/MEu9nfI/Bg0XHGBV9PNxiJm1MctSF5Joh+rlS6kXDAKDrST3+1kY1Spj
syg0hhOHAO6vYLPbd49uI76Dx1Y7naMMqQJS7lKguwg8hCaPsg0Cj+buG1eXg/v3
yx4NKb8Jv92jvDgXBu49xmodAOtBDSRHW57xXxffQt5n2EqysWL+14kEmAJ6RBzG
Vd+tTJvgw3laRvRlBYMBWDZxJ7HqheyiYO9uddmdg8//1Lz8NSzKpO+0rSEosA9L
TMOEfCI90Oa5Y8RFRrvTEQsgO+9UeoKbB/SCZnQWV7PtnaGGLmTPQtlx73PM50yM
i2Dn0JfR4aSyeXc0Xv6gR/YVAW5czvqG2wIObCL3A+LP1OhWK6hcZhZRrIdwTHpP
kPXZBaJKaTW/EJqyTxUdRKGidQJhRmvJ10Jq8A859uCEnZ0TmpGjSUa77prchQy/
ZkjOn7wB6vSmDEbhirx8UI0OHE794SaChffIy6hFX+LfHvEG965hiZ8d2zTxYdDt
WpFJdoCKYj0/jXTC6pFCkHayv1ZcRmquGWsAHNDZXlefgD0VCB577co93FmNmkkC
FoEo8aKoKGXr0fqQRsdYKvoCgdYpd11kjG9IowfiZ6zqYYQ6HBM=
=XU91
-----END PGP SIGNATURE-----
pgpqob1nzWL6f.pgp
Description: PGP signature
--- End Message ---
