diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2025-01-09 19:41:25 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2025-01-09 19:42:37 +0100 |
| commit | 91ce4b9bfd61136ec8217012ffeaf02b9058994d (patch) | |
| tree | 900d49e7fdab1e3cea02d9faaeb0576310197cab /dev-ada/gnatcoll-core/files | |
| parent | 526e7758bbc232545fffe428d6f09fbdfb306cc3 (diff) | |
| download | gentoo-91ce4b9bfd61136ec8217012ffeaf02b9058994d.tar.gz gentoo-91ce4b9bfd61136ec8217012ffeaf02b9058994d.tar.bz2 gentoo-91ce4b9bfd61136ec8217012ffeaf02b9058994d.zip | |
dev-ada/gnatcoll-core: add 25.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/gnatcoll-core/files')
| -rw-r--r-- | dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch new file mode 100644 index 000000000000..66862c6b600a --- /dev/null +++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-25.0.0-gentoo.patch @@ -0,0 +1,11 @@ +--- a/projects/src/gnatcoll-projects.ads 2025-01-04 15:16:43.534598733 +0100 ++++ b/projects/src/gnatcoll-projects.ads 2025-01-04 15:17:23.548103890 +0100 +@@ -2093,7 +2093,7 @@ + Predefined_Source_Files : GNATCOLL.VFS.File_Array_Access; + -- The list of source files in Predefined_Source_Path + +- Default_Gnatls : GNAT.Strings.String_Access := new String'("gnatls"); ++ Default_Gnatls : GNAT.Strings.String_Access := new String'("@GNATLS@"); + -- The default gnatls command to run. + + Xrefs_Subdir : GNAT.Strings.String_Access; |