You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/dev-ada/langkit/files/langkit-22.0.0-test.patch

21 lines
895 B

--- a/testsuite/python_support/utils.py 2021-12-08 14:12:47.457472580 +0100
+++ b/testsuite/python_support/utils.py 2021-12-08 14:14:26.142767154 +0100
@@ -379,6 +379,7 @@
))
run('gprbuild', '-Pgen', '-q', '-p',
'-XLIBRARY_TYPE=static',
+ '-XGNATCOLL_GMP_BUILD=static',
'-XXMLADA_BUILD=static')
for i, m in enumerate(ada_main):
--- a/langkit/libmanage.py 2021-12-08 15:13:07.952581993 +0100
+++ b/langkit/libmanage.py 2021-12-08 15:13:58.429825946 +0100
@@ -897,6 +897,7 @@
result = ['-XBUILD_MODE={}'.format(self.build_mode),
'-XLIBRARY_TYPE={}'.format(library_type),
'-XGPR_BUILD={}'.format(library_type),
+ '-XGNATCOLL_GMP_BUILD={}'.format(library_type),
'-XXMLADA_BUILD={}'.format(library_type)]
if self.enable_build_warnings: