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 --------------------------------------------------------------------------------
