diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-03-01 20:40:28 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-03-01 20:40:44 +0100 |
| commit | 0e7f4825ec5c57ca15dbf860945191b6d3825a0a (patch) | |
| tree | 4be969514a51c6ceaf4c85e3b9202b9cebae700a /dev-ada/gnatcoll-core/files | |
| parent | net-misc/networkmanager: add 1.46.0 (diff) | |
| download | gentoo-0e7f4825ec5c57ca15dbf860945191b6d3825a0a.tar.gz gentoo-0e7f4825ec5c57ca15dbf860945191b6d3825a0a.tar.bz2 gentoo-0e7f4825ec5c57ca15dbf860945191b6d3825a0a.zip | |
dev-ada/gnatcoll-core: add 24.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-24.0.0-gentoo.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch new file mode 100644 index 000000000000..5de80869e561 --- /dev/null +++ b/dev-ada/gnatcoll-core/files/gnatcoll-core-24.0.0-gentoo.patch @@ -0,0 +1,15 @@ +--- a/gnatcoll.gpr 2023-09-21 17:57:14.000000000 +0200 ++++ b/gnatcoll.gpr 2024-03-01 20:34:24.178681586 +0100 +@@ -306,9 +306,9 @@ + end Linker; + + package Install is +- for Artifacts ("share/examples/gnatcoll") use ("examples/*"); +- for Artifacts ("share/doc/gnatcoll/html") use ("docs/_build/html"); +- for Artifacts ("share/doc/gnatcoll") ++ for Artifacts ("share/doc/@PF@/examples") use ("examples/*"); ++ for Artifacts ("share/doc/@PF@/html") use ("docs/_build/html"); ++ for Artifacts ("share/doc/@PF@") + use ("docs/_build/latex/GNATColl.pdf"); + end Install; + |