From 99af63cbca23de5a9b1b6bb0ef29a6034deeb2d8 Mon Sep 17 00:00:00 2001
From: Peter Michael Green <plugwash@debian.org>
Date: Fri, 17 Mar 2023 12:45:28 +0000
Subject: [PATCH] Add tags to make armhf binaries come out correctly.

Bug-Debian: https://bugs.debian.org/695547

Add elf tag to mark hardfp binaries as such. (Closes: 695547)

Gbp-Pq: Name armhf-tags.patch
---
 fpcsrc/compiler/arm/agarmgas.pas | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/fpcsrc/compiler/arm/agarmgas.pas b/fpcsrc/compiler/arm/agarmgas.pas
index 386a41f0..2b4c369c 100644
--- a/fpcsrc/compiler/arm/agarmgas.pas
+++ b/fpcsrc/compiler/arm/agarmgas.pas
@@ -139,6 +139,8 @@ unit agarmgas;
         inherited WriteExtraHeader;
         if TArmInstrWriter(InstrWriter).unified_syntax then
           writer.AsmWriteLn(#9'.syntax unified');
+        if target_info.abi = abi_eabihf then
+          writer.AsmWriteLn(#9'.eabi_attribute 28, 1 @Tag_ABI_VFP_args');
       end;
 
 {****************************************************************************}
-- 
2.30.2