Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Life is a whim of several billion cells to be you for a while.

devel / comp.lang.ada / Re: [Ann] GnatStudio Cookbook

SubjectAuthor
* [Ann] GnatStudio CookbookRod Kay
`* Re: [Ann] GnatStudio CookbookBlady
 `* Re: [Ann] GnatStudio CookbookRod Kay
  `* Re: [Ann] GnatStudio CookbookBlady
   `- Re: [Ann] GnatStudio CookbookRod Kay

1
[Ann] GnatStudio Cookbook

<u7fi8g$1g63g$2@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9759&group=comp.lang.ada#9759

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: rodakay5@gmail.com (Rod Kay)
Newsgroups: comp.lang.ada
Subject: [Ann] GnatStudio Cookbook
Date: Wed, 28 Jun 2023 06:53:49 +1000
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <u7fi8g$1g63g$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 27 Jun 2023 20:53:36 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="be657311ea86a2b2450d32d46a694ffc";
logging-data="1579120"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18KyqQG+yVOS+3RYNGeD/jit2vv+vjMO30="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:3hQb0+spzU5E5ePWv6JDHcHcZgg=
Content-Language: en-US
 by: Rod Kay - Tue, 27 Jun 2023 20:53 UTC

Hello again all,

In the hope it might help other people building or OS packaging
GnatStudio, I've prepared a 'cookbook' of sorts.

It provides build instructions for the entire GnatStudio project
stack, beginning with gprbuild-bootstrap and culminating in the build of
gnatstudio. The individual 'recipes' take the form of pacman PKGBUILDs
with tarballs and patches.

Here is the link ...

https://github.com/charlie5/archlinux-gnatstudio-support/tree/main/gnatstudio-cookbook

Regards.

Re: [Ann] GnatStudio Cookbook

<u7ol2a$2s397$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9791&group=comp.lang.ada#9791

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: p.p11@orange.fr (Blady)
Newsgroups: comp.lang.ada
Subject: Re: [Ann] GnatStudio Cookbook
Date: Sat, 1 Jul 2023 09:36:41 +0200
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <u7ol2a$2s397$1@dont-email.me>
References: <u7fi8g$1g63g$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Jul 2023 07:36:42 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="901828455f992baac135ff7364acda25";
logging-data="3018023"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/hWzo+WRZYDiQB/3oRYScU"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.10.1
Cancel-Lock: sha1:1+5Vv1bY0jRZO5wpA2kcq+2dp/8=
Content-Language: fr, en-US
In-Reply-To: <u7fi8g$1g63g$2@dont-email.me>
 by: Blady - Sat, 1 Jul 2023 07:36 UTC

Le 27/06/2023 à 22:53, Rod Kay a écrit :
> Hello again all,
>
>    In the hope it might help other people building or OS packaging
> GnatStudio, I've prepared a 'cookbook' of sorts.
>
>    It provides build instructions for the entire GnatStudio project
> stack, beginning with gprbuild-bootstrap and culminating in the build of
> gnatstudio. The individual 'recipes' take the form of pacman PKGBUILDs
> with tarballs and patches.
>
>    Here is the link ...
>
> https://github.com/charlie5/archlinux-gnatstudio-support/tree/main/gnatstudio-cookbook

Hello Rod,

Thanks for sharing, I'll take a look.

I'm building GnatStudio for macOS Ventura.
Currently at step Ada Language Server, next to the step GnatStudio
itself ;-)

I'll be sure to share my progress.
In the meantime here is my approach for version 23.0w (in French language):
http://blady.pagesperso-orange.fr/telechargements/gnat/Install-GS-Quartz_WF.pdf

Pascal.

Re: [Ann] GnatStudio Cookbook

<u80jn8$1irk$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9819&group=comp.lang.ada#9819

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: rodakay5@gmail.com (Rod Kay)
Newsgroups: comp.lang.ada
Subject: Re: [Ann] GnatStudio Cookbook
Date: Tue, 4 Jul 2023 18:03:09 +1000
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <u80jn8$1irk$1@dont-email.me>
References: <u7fi8g$1g63g$2@dont-email.me> <u7ol2a$2s397$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 4 Jul 2023 08:02:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="51a46582795c09b43f0d5d37eae04528";
logging-data="52084"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19hvwr0YBNpqOJ0dnUs8JThDAwqKc0zfMw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.12.0
Cancel-Lock: sha1:iPbPoH1lLfe9xjqsyaAskdRtYkI=
In-Reply-To: <u7ol2a$2s397$1@dont-email.me>
Content-Language: en-US
 by: Rod Kay - Tue, 4 Jul 2023 08:03 UTC

On 1/7/23 17:36, Blady wrote:
>
> Hello Rod,
>
> Thanks for sharing, I'll take a look.
>
> I'm building GnatStudio for macOS Ventura.
> Currently at step Ada Language Server, next to the step GnatStudio
> itself ;-)
>
> I'll be sure to share my progress.

Hi Pascal,

How is the Ventura build going ? If anything in the 'cookbook' is
unclear or problematic, don't hesitate to ask.

> In the meantime here is my approach for version 23.0w (in French language):
> http://blady.pagesperso-orange.fr/telechargements/gnat/Install-GS-Quartz_WF.pdf
>

Errr, my Francais is a little rusty :) but good luck (bonne chance?) !

Regards.

Re: [Ann] GnatStudio Cookbook

<u8msi8$3bq8n$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9835&group=comp.lang.ada#9835

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: p.p11@orange.fr (Blady)
Newsgroups: comp.lang.ada
Subject: Re: [Ann] GnatStudio Cookbook
Date: Wed, 12 Jul 2023 20:48:40 +0200
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <u8msi8$3bq8n$1@dont-email.me>
References: <u7fi8g$1g63g$2@dont-email.me> <u7ol2a$2s397$1@dont-email.me>
<u80jn8$1irk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Jul 2023 18:48:40 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ed23f97e82d393127b63dbc696ccd2d0";
logging-data="3533079"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+DC3MuMt544f6nm2DJAM2+"
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
Gecko/20100101 Thunderbird/102.13.0
Cancel-Lock: sha1:l6qjIh74mnRaCtgB0V/iYdU+ZgY=
Content-Language: fr, en-US
In-Reply-To: <u80jn8$1irk$1@dont-email.me>
 by: Blady - Wed, 12 Jul 2023 18:48 UTC

Le 04/07/2023 à 10:03, Rod Kay a écrit :
> On 1/7/23 17:36, Blady wrote:
>>
>> Hello Rod,
>>
>> Thanks for sharing, I'll take a look.
>>
>> I'm building GnatStudio for macOS Ventura.
>> Currently at step Ada Language Server, next to the step GnatStudio
>> itself ;-)
>>
>> I'll be sure to share my progress.
>
> Hi Pascal,
>
>    How is the Ventura build going ? If anything in the 'cookbook' is
> unclear or problematic, don't hesitate to ask.
>
>> In the meantime here is my approach for version 23.0w (in French
>> language):
>> http://blady.pagesperso-orange.fr/telechargements/gnat/Install-GS-Quartz_WF.pdf
>>
>
>    Errr, my Francais is a little rusty :) but good luck (bonne chance?) !

Hi Rod,

The Ada compilation of GS is done.
But some files seems missing on Python side.

a) gnat/building_executable_programs_with_gnat.rst
I saw you add it in your distribution [1].
I took mine from 23.0w version from [2].
There are different.
Where did yours come from?

b) design/scripts/update_predefined_ada.py
I didn't find it, did you?

Regards, Pascal.

[1]
https://github.com/charlie5/archlinux-gnatstudio-support/blob/main/gnatstudio-cookbook/28.0-gnatstudio/building_executable_programs_with_gnat.rst
[2]
https://github.com/AdaCore/gnatstudio/releases/tag/gnatstudio-cr-20220512

Re: [Ann] GnatStudio Cookbook

<u8ue9d$e0id$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9844&group=comp.lang.ada#9844

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: rodakay5@gmail.com (Rod Kay)
Newsgroups: comp.lang.ada
Subject: Re: [Ann] GnatStudio Cookbook
Date: Sun, 16 Jul 2023 01:34:23 +1000
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <u8ue9d$e0id$1@dont-email.me>
References: <u7fi8g$1g63g$2@dont-email.me> <u7ol2a$2s397$1@dont-email.me>
<u80jn8$1irk$1@dont-email.me> <u8msi8$3bq8n$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 15 Jul 2023 15:34:05 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="bef2819da45e2997842b52edaabb1830";
logging-data="459341"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18J6iBEeECm8mOV9wO9uzUwuNj6AFGeiDM="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.13.0
Cancel-Lock: sha1:F7pkwmQLX34YJ09/8LMRjZp1xtg=
Content-Language: en-US
In-Reply-To: <u8msi8$3bq8n$1@dont-email.me>
 by: Rod Kay - Sat, 15 Jul 2023 15:34 UTC

On 13/7/23 04:48, Blady wrote:
>
> a) gnat/building_executable_programs_with_gnat.rst
> I saw you add it in your distribution [1].
> I took mine from 23.0w version from [2].
> There are different.
> Where did yours come from?
>

I think it came from the 2021 community release. Yours will be more
recent, so I will update to that version. Thanks for mentioning this.

> b) design/scripts/update_predefined_ada.py
> I didn't find it, did you?
>

No, sorry, I've not seen that file before.

Regards.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor