diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-06-12 22:00:17 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-06-12 22:00:17 +0200 |
| commit | ad254d79b82f400acb7d58433209531bf3ba47c5 (patch) | |
| tree | 33d829694b2d7959b51211e5ae7bfd8606eb4107 /dev-ada/gnatcoll-core/files | |
| parent | media-tv/xmltv: drop old (diff) | |
| download | gentoo-ad254d79b82f400acb7d58433209531bf3ba47c5.tar.gz gentoo-ad254d79b82f400acb7d58433209531bf3ba47c5.tar.bz2 gentoo-ad254d79b82f400acb7d58433209531bf3ba47c5.zip | |
dev-ada/gnatcoll-core: Add dev-ada/gnatcoll-core
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'dev-ada/gnatcoll-core/files')
| -rw-r--r-- | dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch new file mode 100644 index 000000000000..cedf710c0363 --- /dev/null +++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-2018-gentoo.patch @@ -0,0 +1,22 @@ +--- a/gnatcoll.gpr 2018-06-12 21:37:42.664733336 +0200 ++++ b/gnatcoll.gpr 2018-06-12 21:38:07.965360000 +0200 +@@ -115,6 +115,7 @@ + + for Switches ("gnatcoll_support.c") use + Compiler'Switches ("C") & Extra_Switches; ++ for Driver ("C") use External ("GCC", "gcc"); + + end Compiler; + +--- a/src/gnatcoll-projects.ads.old 2017-11-25 14:50:06.919939453 +0100 ++++ b/src/gnatcoll-projects.ads 2017-11-25 14:50:38.932387204 +0100 +@@ -1917,7 +1917,8 @@ + 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; |