From: Peter Michael Green <plugwash@debian.org>
Date: Sat, 22 Aug 2020 13:17:07 +0000 (+0100)
Subject: Add tags to make armhf binaries come out correctly.
X-Git-Tag: archive/raspbian/3.2.0+dfsg-8+rpi1~1^2~13
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b851ee26f5d4dcd6613d7b9c7744ced953304b4f;p=fpc.git

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

diff --git a/fpcsrc/compiler/arm/agarmgas.pas b/fpcsrc/compiler/arm/agarmgas.pas
index 3e412d9b..fb03fb02 100644
--- a/fpcsrc/compiler/arm/agarmgas.pas
+++ b/fpcsrc/compiler/arm/agarmgas.pas
@@ -132,6 +132,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;
 
 {****************************************************************************}