summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2018-07-04 21:16:40 +0200
committerTupone Alfredo <tupone@gentoo.org>2018-07-04 21:16:40 +0200
commitda6d489e7b1ac17110c9727b1ddd451fb6012b58 (patch)
tree8d4caf32a23a10a12ecbe4bac0e955d2a030d2f2 /dev-ada/langkit/files
parentnet-wireless/bluez: add ~arm, bug #657616 (diff)
downloadgentoo-da6d489e7b1ac17110c9727b1ddd451fb6012b58.tar.gz
gentoo-da6d489e7b1ac17110c9727b1ddd451fb6012b58.tar.bz2
gentoo-da6d489e7b1ac17110c9727b1ddd451fb6012b58.zip
dev-ada/langkit: Add 2018 version
Package-Manager: Portage-2.3.40, Repoman-2.3.9
Diffstat (limited to 'dev-ada/langkit/files')
-rw-r--r--dev-ada/langkit/files/langkit-2018-gentoo.patch21
1 files changed, 21 insertions, 0 deletions
diff --git a/dev-ada/langkit/files/langkit-2018-gentoo.patch b/dev-ada/langkit/files/langkit-2018-gentoo.patch
new file mode 100644
index 000000000000..aacca6092c1e
--- /dev/null
+++ b/dev-ada/langkit/files/langkit-2018-gentoo.patch
@@ -0,0 +1,21 @@
+--- 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 @@
+ generate_lexer
+ ):
+ quex_py_file = path.join(os.environ["QUEX_PATH"], "quex-exe.py")
+- subprocess.check_call([sys.executable, quex_py_file, "-i",
++ subprocess.check_call(["quex", "-i",
+ quex_file,
+ "-o", "quex_lexer",
+ "--buffer-element-size", "4",