diff options
Diffstat (limited to 'dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch')
-rw-r--r-- | dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch b/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch new file mode 100644 index 000000000000..452733493ace --- /dev/null +++ b/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch @@ -0,0 +1,11 @@ +--- a/share/gprconfig/linker.xml 2021-12-22 22:40:42.611766036 +0100 ++++ b/share/gprconfig/linker.xml 2021-12-22 22:42:28.839096356 +0100 +@@ -877,7 +877,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"; |