> Le 25 mai 2021 à 21:27, Blady via Gnoga-list > <gnoga-list@lists.sourceforge.net> a écrit : > >> >> Le 22 mai 2021 à 10:18, Joakim Dahlgren Strandberg <joaki...@kth.se> 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
