From 3f472a4e5ca21e3ddb13737473e636b2b11a408a Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:22:56 +0200
Subject: Adding debian version 13.2.0-10.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 debian/ada/gnatgcc | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 debian/ada/gnatgcc

(limited to 'debian/ada/gnatgcc')

diff --git a/debian/ada/gnatgcc b/debian/ada/gnatgcc
new file mode 100644
index 0000000..9aae5dc
--- /dev/null
+++ b/debian/ada/gnatgcc
@@ -0,0 +1,19 @@
+#!/bin/sh
+# Installed     as /usr/bin/$DEB_HOST_GNU_TYPE-gnatgcc
+# and symlinked as /usr/bin/gnatgcc.
+set -Cefu
+
+cat <<EOF
+
+Warning: gnatgcc is deprecated.
+Please call gcc-MAJOR directly.
+For GPR projects, this should be sufficient:
+# gprconfig --batch --config=Ada --config=C,,,,MAJOR
+MAJOR is the output of
+# gnatmake --version | sed 's/.* \([0-9]\+\).*/\1/;q'
+
+EOF
+
+host=$(basename "$0" | sed 's/gnatgcc$//')
+major=$(${host}gnatmake --version | sed 's/.* \([0-9]\+\).*/\1/;q')
+exec ${host}gcc-$major "$@"
-- 
cgit v1.2.3