summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ada/langkit')
-rw-r--r--dev-ada/langkit/files/langkit-2018-gentoo.patch10
1 files changed, 0 insertions, 10 deletions
diff --git a/dev-ada/langkit/files/langkit-2018-gentoo.patch b/dev-ada/langkit/files/langkit-2018-gentoo.patch
index aacca6092c1..52920e906ee 100644
--- a/dev-ada/langkit/files/langkit-2018-gentoo.patch
+++ b/dev-ada/langkit/files/langkit-2018-gentoo.patch
@@ -1,13 +1,3 @@
---- a/langkit/templates/project_file.mako 2017-07-11 14:19:12.841221846 +0200
-+++ b/langkit/templates/project_file.mako 2017-07-11 14:12:39.104981170 +0200
-@@ -111,6 +111,7 @@
- -- ... and this prevents OOM on other platforms
- end case;
- end case;
-+ for Driver ("C") use External ("GCC", "gcc");
- end Compiler;
-
- package Binder is
--- a/langkit/compile_context.py 2018-07-04 19:17:08.329346507 +0200
+++ b/langkit/compile_context.py 2018-07-04 19:17:57.276615724 +0200
@@ -1684,7 +1684,7 @@