XPost: linux.debian.devel.release
Hello.
[2025/03/20 11:15]
Alire fails to build on arm{el,hf} [with gnat-14]
The build system runs the fresh executable with --help in order to
generate the manual page, but the executable fails.
This is almost certainly a new occurrence of https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096181
I am reposting this to
1099646@bugs.debian.org as a public record that
I am planning a Non-Maintainer Upload of the attached work-around as
part of the gnat-14 transition, unless the maintainers object or do a
normal upload of course.
From efb765418da74bd2a11047e2992fb7a8793ccde1 Mon Sep 17 00:00:00 2001
From: Nicolas Boulenguez <
nicolas@debian.org>
Date: Thu, 20 Mar 2025 10:57:43 +0100
Subject: [PATCH 1/2] Disable stack check on arm{el,hf} because of #1096181 gcc
bug
---
debian/rules | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/debian/rules b/debian/rules
index 13f05e2f..953ad658 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,6 +5,12 @@ export DH_VERBOSE := 1
DEB_BUILD_MAINT_OPTIONS := hardening=+all
# -gnatwn: Debian builds should not fail because of a new warning
DEB_ADAFLAGS_MAINT_APPEND := -gnatafno -gnatVa -gnatwan
+
+# work-around for #1096181.
+ifneq (,$(filter $(DEB_HOST_ARCH),armel armhf))
+ DEB_ADAFLAGS_MAINT_APPEND += -fno-stack-check
+endif
+
DPKG_EXPORT_BUILDFLAGS := 1
include /usr/share/dpkg/buildflags.mk
include /usr/share/ada/packaging.mk
--
2.39.5
From 585754607b4f1ed37feee212639c91abe564d601 Mon Sep 17 00:00:00 2001
From: Nicolas Boulenguez <
nicolas@debian.org>
Date: Thu, 20 Mar 2025 10:55:48 +0100
Subject: [PATCH 2/2] Update changelog
---
debian/changelog | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 97101ea6..32f68051 100644
--- a/deb