1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- 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:
|
GitWeb
