diff options
Diffstat (limited to 'dev-ada/gprbuild/files/gprbuild-2021-ar.patch')
| -rw-r--r-- | dev-ada/gprbuild/files/gprbuild-2021-ar.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-2021-ar.patch b/dev-ada/gprbuild/files/gprbuild-2021-ar.patch new file mode 100644 index 000000000000..77f0cfead7ed --- /dev/null +++ b/dev-ada/gprbuild/files/gprbuild-2021-ar.patch @@ -0,0 +1,11 @@ +--- a/share/gprconfig/linker.xml 2021-12-22 22:06:14.895471351 +0100 ++++ b/share/gprconfig/linker.xml 2021-12-22 22:08:01.050767123 +0100 +@@ -864,7 +864,7 @@ + <host name="^x86_64-.*linux.*" /> + </hosts> + <config> +- for Archive_Builder use ("ar", "cr"); ++ for Archive_Builder use ("${HOST(Ada)}-ar", "cr"); + for Archive_Builder_Append_Option use ("q"); + for Archive_Indexer use ("ranlib"); + for Archive_Suffix use ".a"; |