diff options
Diffstat (limited to 'dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch')
| -rw-r--r-- | dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch b/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch new file mode 100644 index 000000000000..9d95a9bfc1c4 --- /dev/null +++ b/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch @@ -0,0 +1,11 @@ +--- a/sqlite/gnatcoll_sqlite.gpr 2018-06-24 14:08:52.477478654 +0200 ++++ b/sqlite/gnatcoll_sqlite.gpr 2018-06-24 14:08:59.149372684 +0200 +@@ -42,7 +42,7 @@ + for Library_Name use Name; + for Library_Version use "lib" & Name & Gnatcoll.So_Ext & "." & Version; + +- for Languages use ("Ada", "C"); ++ for Languages use ("Ada"); + + Thread_Lib := (); + |