1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Description: run gnatbind as TARGET-gnatbind-VERSION instead of gnatbind-VERSION
This work-around is specific to Debian, which installs no executable
or symbolic link named TARGET-gnatbind.
Forwarded: not-needed
Author: Nicolas Boulenguez <nicolas@debian.org>
--- a/src/gprbind.adb
+++ b/src/gprbind.adb
@@ -385,7 +385,11 @@ begin
GNATBIND := new String'
(Line (Gnatbind_Prefix_Equal'Length + 1 .. Last) &
- "gnatbind");
+ -- Debian provides TARGET-TOOL-VERSION and
+ -- TOOL-VERSION but no TARGET-TOOL.
+ "gnatbind" & (if GNAT_Version_Set
+ then "-" & GNAT_Version.all
+ else ""));
end if;
elsif Last > Ada_Binder_Equal'Length
|
