> Le 25 mai 2021 à 21:27, Blady via Gnoga-list
> a écrit :
>
>>
>> Le 22 mai 2021 à 10:18, Joakim Dahlgren Strandberg a écrit
>> :
>>
>> Hello!
>>
>> I have tried out Gnoga by git clone from the git repository and switched to
>> the 1.6 branch.
>>
>> Executing gprbuild on the gnoga_secure.gpr file in gnoga/ssl/ causes
>> gprbuild to crash.
>> gprbuild gnoga_secure.gpr
>> gprbuild: raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : gpr-names.adb:206
>> [/opt/GNAT/2020/bin/gprbuild]
>> 0x8985e0
>> 0x67766d
>> 0x5c3bdf
>> 0x5c6dc3
>> 0x5c83dd
>> 0x5cb3a5
>> 0x4b3aea
>> 0x4a4474
>> [/lib/x86_64-linux-gnu/libc.so.6]
>> 0x7f51be7d0bf5
>> [/opt/GNAT/2020/bin/gprbuild]
>> 0x4a44c7
>>
>> It crashes because the file settings.gpr is not found. By changing "with
>> settings.gpr;" to "with ../settings.gpr" makes it possible to build the
>> source code again. Maybe it was only me who have run into this issue but may
>> be worth double checking.
>>
>> OS: Ubuntu 18.04, Compiler: GNAT CE 2020
>
> Hello Joakim, good catch.
>
> Notice that executing gprbuild from Gnoga root folder is ok:
> % gprbuild ./ssl/gnoga_secure.gpr
> (current path is by default in gprbuild project search path list)
>
> But you're right, it's better to change.
> I'll look for all occurrences and fix them.
Hello Joakim,
These occurrences have been fixed in last commit :
https://sourceforge.net/p/gnoga/code/ci/6fe2723b323f14c250390e3be5ec0162c265932f/
Regards, Pascal.
https://blady.pagesperso-orange.fr
___
Gnoga-list mailing list
Gnoga-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/gnoga-list