diff options
Diffstat (limited to 'dev-ada')
| -rw-r--r-- | dev-ada/Manifest.gz | bin | 2530 -> 2530 bytes | |||
| -rw-r--r-- | dev-ada/langkit/Manifest | 2 | ||||
| -rw-r--r-- | dev-ada/langkit/files/langkit-2017-gentoo.patch | 33 |
3 files changed, 34 insertions, 1 deletions
diff --git a/dev-ada/Manifest.gz b/dev-ada/Manifest.gz Binary files differindex f54475248180..c7d92d150ca3 100644 --- a/dev-ada/Manifest.gz +++ b/dev-ada/Manifest.gz diff --git a/dev-ada/langkit/Manifest b/dev-ada/langkit/Manifest index ea36acfa6bbf..d7b86114acc5 100644 --- a/dev-ada/langkit/Manifest +++ b/dev-ada/langkit/Manifest @@ -1,4 +1,4 @@ -AUX langkit-2017-gentoo.patch 2378 BLAKE2B 0fedd0d2f7c2ab7cf75114c32baa7a753aca0bfb1cef9bfc3dbb9a70027b75bb177fcb298ce1d1d35262162a6f10d907ea1f6e5a7ceb4be93dddae3cba6a0d69 SHA512 5a277b01d55f7fb373b5016adf8b7f9514ab1d56fa0faf51eeff5ffd7cccc9c3bbafb2e0747e7122560ea60d38728361851c1a6850016ad6d43f33041ef8f0e1 +AUX langkit-2017-gentoo.patch 4182 BLAKE2B 5f0a275837a80ac41e231c807eb54a620d49311b3539b995951ce30be3de6cbf1d00c7909f5ac3186b4e06892416f8a4274b75f1de10af123824f4eede466c57 SHA512 53530378e4e04d940656244f42161abc0aae9a5fc54b0ddd12c153faef0fd4a8d3f67e27742f6a2e27496a705a8dafe9288d1c7c066a43fe0e8e7c0a0886c21d DIST langkit-gps-src-2017.tar.gz 364589 BLAKE2B 14d80e904ded20a73d65a5828157ea82672559b5bb47e465381989ad3a6e90f41bd0c6db0a5e4f7b7c532fd4f697f9bc8cb3163c6e61106d0d44da994b1c7b28 SHA512 1c86e60710e4def3d430372eed11bf1a27bf82e84c7b787c5a0be15229b6e5f786dbdf830a311423dd7539841de3076d370afc8b4c1b0cddd1bc379372dcdc95 EBUILD langkit-2017.ebuild 924 BLAKE2B 4fde947ea5db44e0e806162a7283bacd4d105d58bd20fcbb68952df7690e5f86c4dd6d998845a977f09808455bdbb29c572649e78addfb41bfe3fb9306ec283c SHA512 3430bc646265ccacc3178ba3f459613e3b0a0f4493b4238a97598158a4dbf7aa81ac5a60e40da380f86a075ce8119fe28770a438273133cef4ca3caa1626348d MISC metadata.xml 748 BLAKE2B 29a7b386b6d8d1b2f2bc8fc16739c28129b7886c8cdae6784d54bfaadea87502a5338ed6113f536e7c5701cefb42d5912f6189dccb55ddd704445ae65f5c4176 SHA512 8a3183336e00f01eeb51a5b7d06833599b408801b71713575d83131d39b82c8c74fda8ce133b352dc356135721ef19ca488ef17723172579cd1507d4c1d7c809 diff --git a/dev-ada/langkit/files/langkit-2017-gentoo.patch b/dev-ada/langkit/files/langkit-2017-gentoo.patch index e6609236b6cd..ecb7ce6e74dd 100644 --- a/dev-ada/langkit/files/langkit-2017-gentoo.patch +++ b/dev-ada/langkit/files/langkit-2017-gentoo.patch @@ -45,3 +45,36 @@ package Address_To_Id_Maps is new Ada.Containers.Hashed_Maps (Lexical_Env, Integer, Hash, "="); +--- a/testsuite/testsuite_support/__init__.py.old 2018-05-02 21:40:04.977442020 +0200 ++++ b/testsuite/testsuite_support/__init__.py 2018-05-02 21:40:45.422759387 +0200 +@@ -68,6 +68,7 @@ + # to build it in parallel. + if not self.global_env['options'].disable_tear_up_builds: +- p = Run(['gprbuild', '-p', '-f', '-P', ++ p = Run(['gprbuild', '-p', '-f', '-XLIBRARY_TYPE=relocatable', ++ '-XXMLADA_BUILD=relocatable', '-P', + os.path.join(self.root_dir, '..', 'langkit', 'support', + 'langkit_support.gpr')], output=PIPE) + report(p, "Langkit support") +--- a/testsuite/testsuite_support/langkit_support_driver.py.old 2018-05-03 08:01:20.019944992 +0200 ++++ b/testsuite/testsuite_support/langkit_support_driver.py 2018-05-03 08:02:50.146430288 +0200 +@@ -36,5 +36,7 @@ + )) + + self.run_and_check(['gprbuild', '-p', '-P', 'p.gpr', '-gnata', ++ '-XLIBRARY_TYPE=relocatable', ++ '-XXMLADA_BUILD=relocatable', + '-cargs', '-O0', '-g']) + self.run_and_check(['./{}'.format(source[:-4])]) ++++ a/testsuite/testsuite_support/adalog_driver.py.old 2018-05-03 08:14:30.998698722 +0200 +--- b/testsuite/testsuite_support/adalog_driver.py 2018-05-03 08:16:48.275417176 +0200 +@@ -41,6 +41,8 @@ + ) + )) + +- self.run_and_check(['gprbuild', '-p', '-P', 'p.gpr', '-cargs', '-O0', ++ self.run_and_check(['gprbuild', '-p', '-XLIBRARY_TYPE=relocatable', ++ '-XXMLADA_BUILD=relocatable', ++ '-P', 'p.gpr', '-cargs', '-O0', + '-g']) + self.run_and_check(['./{}'.format(source[:-4])]) |