diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2021-12-22 08:06:57 +0100 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2022-01-19 21:31:24 +0100 |
| commit | 854110b65b471a0ad2a7b2b9813f9f806d521297 (patch) | |
| tree | 207226805b1ce415931fbe7267214d6c7d28ee6f /dev-ada/langkit | |
| parent | dev-ml/num: fix install with -ocamlopt (diff) | |
| download | gentoo-854110b65b471a0ad2a7b2b9813f9f806d521297.tar.gz gentoo-854110b65b471a0ad2a7b2b9813f9f806d521297.tar.bz2 gentoo-854110b65b471a0ad2a7b2b9813f9f806d521297.zip | |
dev-ada/langkit: remove unused patch(es)
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/23467
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/langkit')
| -rw-r--r-- | dev-ada/langkit/files/langkit-22.0.0-gnarl.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dev-ada/langkit/files/langkit-22.0.0-gnarl.patch b/dev-ada/langkit/files/langkit-22.0.0-gnarl.patch deleted file mode 100644 index fb69768dc9de..000000000000 --- a/dev-ada/langkit/files/langkit-22.0.0-gnarl.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/langkit/templates/mains_project_file.mako 2020-06-09 09:34:36.677265457 +0200 -+++ b/langkit/templates/mains_project_file.mako 2020-06-09 09:35:30.569451995 +0200 -@@ -40,4 +40,7 @@ - for Switches ("ada") use ("-E"); - end Binder; - -+ package Linker is -+ for Switches ("ada") use ("-lgnat", "-lgnarl"); -+ end Linker; - end Mains; |