diff options
Diffstat (limited to 'dev-ada/langkit/files/langkit-2018-gentoo.patch')
| -rw-r--r-- | dev-ada/langkit/files/langkit-2018-gentoo.patch | 10 |
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 aacca6092c1e..52920e906eee 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 @@ |