RetroBBS - comp.lang.ada - Re: Git clone command to get aws?

Git clone command to get aws?

<df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>

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

X-Received: by 2002:a05:6214:1872:b0:571:a8b0:48b1 with SMTP id eh18-20020a056214187200b00571a8b048b1mr3779564qvb.0.1682459499216;
Tue, 25 Apr 2023 14:51:39 -0700 (PDT)
X-Received: by 2002:a81:ad60:0:b0:54f:bb71:c7b3 with SMTP id
l32-20020a81ad60000000b0054fbb71c7b3mr8635152ywk.9.1682459499011; Tue, 25 Apr
2023 14:51:39 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 25 Apr 2023 14:51:38 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
Subject: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Tue, 25 Apr 2023 21:51:39 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1047

by: Petter - Tue, 25 Apr 2023 21:51 UTC

Re: Git clone command to get aws?

<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:ac8:5c45:0:b0:3ef:47d1:70f6 with SMTP id j5-20020ac85c45000000b003ef47d170f6mr6880865qtj.0.1682461549031;
Tue, 25 Apr 2023 15:25:49 -0700 (PDT)
X-Received: by 2002:a81:ad61:0:b0:54f:a60c:12eb with SMTP id
l33-20020a81ad61000000b0054fa60c12ebmr8591381ywk.1.1682461548810; Tue, 25 Apr
2023 15:25:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 25 Apr 2023 15:25:48 -0700 (PDT)
In-Reply-To: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>
Subject: Re: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Tue, 25 Apr 2023 22:25:49 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1558

by: Petter - Tue, 25 Apr 2023 22:25 UTC

tisdag 25 april 2023 kl. 23:51:40 UTC+2 skrev Petter:
> How can I download AWS from github? I can't fine the correct command.
I've now made a little progress. I've been able to download. Folling the make instructions a get an erro on finding the tools for GNAT Pro,, which I don't have. Instead I tried to use the project file but then I get an error on not finding the
Environment Variable PRJ_TArget which I've no clue to set to what.

Re: Git clone command to get aws?

<231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:6214:a70:b0:5ef:44fb:b65a with SMTP id ef16-20020a0562140a7000b005ef44fbb65amr3640702qvb.0.1682466041503;
Tue, 25 Apr 2023 16:40:41 -0700 (PDT)
X-Received: by 2002:a25:cb84:0:b0:b99:4c9d:3b5a with SMTP id
b126-20020a25cb84000000b00b994c9d3b5amr8076079ybg.7.1682466041267; Tue, 25
Apr 2023 16:40:41 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 25 Apr 2023 16:40:40 -0700 (PDT)
In-Reply-To: <d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com> <d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
Subject: Re: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Tue, 25 Apr 2023 23:40:41 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1972

by: Petter - Tue, 25 Apr 2023 23:40 UTC

onsdag 26 april 2023 kl. 00:25:50 UTC+2 skrev Petter:
> tisdag 25 april 2023 kl. 23:51:40 UTC+2 skrev Petter:
> > How can I download AWS from github? I can't fine the correct command.
> I've now made a little progress. I've been able to download. Folling the make instructions a get an erro on finding the tools for GNAT Pro,, which I don't have. Instead I tried to use the project file but then I get an error on not finding the
> Environment Variable PRJ_TArget which I've no clue to set to what.
I have managed to get a little further. I had to manually set the Environment Variable GNATDIR, but soon hit the next problem.
tools.gpr:19:06: imported project file "../.build/projects/aws_lal" not found
gprbuild: "tools/tools.gpr" processing failed
Couldn't build or install AWS

Re: Git clone command to get aws?

<u2ar6k$1b079$1@dont-email.me>

copy mid

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

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: bnl@nowhere.com (Björn Lundin)
Newsgroups: comp.lang.ada
Subject: Re: Git clone command to get aws?
Date: Wed, 26 Apr 2023 11:34:12 +0200
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <u2ar6k$1b079$1@dont-email.me>
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>
<231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Apr 2023 09:34:13 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="39f3d13be5023d9cd1222937673c6c8f";
logging-data="1409257"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/zlHgwdwF7L69n3JBWjc1a"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.10.0
Cancel-Lock: sha1:4CKIPOI2MFC0c47xJ0aKlOzp76Q=
In-Reply-To: <231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
Content-Language: en-US

by: Björn Lundin - Wed, 26 Apr 2023 09:34 UTC

On 2023-04-26 01:40, Petter wrote:
> onsdag 26 april 2023 kl. 00:25:50 UTC+2 skrev Petter:
>> tisdag 25 april 2023 kl. 23:51:40 UTC+2 skrev Petter:
>>> How can I download AWS from github? I can't fine the correct command.
>> I've now made a little progress. I've been able to download. Folling the make instructions a get an erro on finding the tools for GNAT Pro,, which I don't have. Instead I tried to use the project file but then I get an error on not finding the
>> Environment Variable PRJ_TArget which I've no clue to set to what.
> I have managed to get a little further. I had to manually set the Environment Variable GNATDIR, but soon hit the next problem.
> tools.gpr:19:06: imported project file "../.build/projects/aws_lal" not found
> gprbuild: "tools/tools.gpr" processing failed
> Couldn't build or install AWS
>

What platform?
On https://github.com/AdaCore/aws
there is 'issues'
https://github.com/AdaCore/aws/issues

where you can file an issue.

--
/Björn

Re: Git clone command to get aws?

<c6a1ea97-2dfb-4be6-8cab-925466071f04n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:6214:9b3:b0:5ef:181e:2e53 with SMTP id du19-20020a05621409b300b005ef181e2e53mr4062185qvb.10.1682508150529;
Wed, 26 Apr 2023 04:22:30 -0700 (PDT)
X-Received: by 2002:a81:4425:0:b0:552:d924:a304 with SMTP id
r37-20020a814425000000b00552d924a304mr9439789ywa.4.1682508150299; Wed, 26 Apr
2023 04:22:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Apr 2023 04:22:29 -0700 (PDT)
In-Reply-To: <u2ar6k$1b079$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com> <231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
<u2ar6k$1b079$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c6a1ea97-2dfb-4be6-8cab-925466071f04n@googlegroups.com>
Subject: Re: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Wed, 26 Apr 2023 11:22:30 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2602

by: Petter - Wed, 26 Apr 2023 11:22 UTC

onsdag 26 april 2023 kl. 11:34:16 UTC+2 skrev Björn Lundin:
> On 2023-04-26 01:40, Petter wrote:
> > onsdag 26 april 2023 kl. 00:25:50 UTC+2 skrev Petter:
> >> tisdag 25 april 2023 kl. 23:51:40 UTC+2 skrev Petter:
> >>> How can I download AWS from github? I can't fine the correct command.
> >> I've now made a little progress. I've been able to download. Folling the make instructions a get an erro on finding the tools for GNAT Pro,, which I don't have. Instead I tried to use the project file but then I get an error on not finding the
> >> Environment Variable PRJ_TArget which I've no clue to set to what.
> > I have managed to get a little further. I had to manually set the Environment Variable GNATDIR, but soon hit the next problem.
> > tools.gpr:19:06: imported project file "../.build/projects/aws_lal" not found
> > gprbuild: "tools/tools.gpr" processing failed
> > Couldn't build or install AWS
> >
> What platform?
> On https://github.com/AdaCore/aws
> there is 'issues'
> https://github.com/AdaCore/aws/issues
>
> where you can file an issue.
>
> --
> /Björn
Yes. that platform. I'll file an issue. Iam learning more every hour.

By the way, have our roads crossed earlier?
Regards,
Petter

Re: Git clone command to get aws?

<2f3d57b5-1513-46a9-a21d-4f4b877fcdbcn@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:622a:199c:b0:3e2:976d:ebe9 with SMTP id u28-20020a05622a199c00b003e2976debe9mr8327085qtc.1.1682519033620;
Wed, 26 Apr 2023 07:23:53 -0700 (PDT)
X-Received: by 2002:a05:690c:986:b0:54c:15ad:11e4 with SMTP id
ce6-20020a05690c098600b0054c15ad11e4mr1657680ywb.0.1682519033390; Wed, 26 Apr
2023 07:23:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Apr 2023 07:23:53 -0700 (PDT)
In-Reply-To: <u2ar6k$1b079$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com> <231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
<u2ar6k$1b079$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f3d57b5-1513-46a9-a21d-4f4b877fcdbcn@googlegroups.com>
Subject: Re: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Wed, 26 Apr 2023 14:23:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2534

by: Petter - Wed, 26 Apr 2023 14:23 UTC

onsdag 26 april 2023 kl. 11:34:16 UTC+2 skrev Björn Lundin:
> On 2023-04-26 01:40, Petter wrote:
> > onsdag 26 april 2023 kl. 00:25:50 UTC+2 skrev Petter:
> >> tisdag 25 april 2023 kl. 23:51:40 UTC+2 skrev Petter:
> >>> How can I download AWS from github? I can't fine the correct command.
> >> I've now made a little progress. I've been able to download. Folling the make instructions a get an erro on finding the tools for GNAT Pro,, which I don't have. Instead I tried to use the project file but then I get an error on not finding the
> >> Environment Variable PRJ_TArget which I've no clue to set to what.
> > I have managed to get a little further. I had to manually set the Environment Variable GNATDIR, but soon hit the next problem.
> > tools.gpr:19:06: imported project file "../.build/projects/aws_lal" not found
> > gprbuild: "tools/tools.gpr" processing failed
> > Couldn't build or install AWS
> >
> What platform?
> On https://github.com/AdaCore/aws
> there is 'issues'
> https://github.com/AdaCore/aws/issues
>
> where you can file an issue.
>
> --
> /Björn
I've created an Issue: https://github.com/AdaCore/aws/issues/367

Re: Git clone command to get aws?

<u2bcmc$1dprg$2@dont-email.me>

copy mid

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

copy link Newsgroups: comp.lang.ada

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: bnl@nowhere.com (Björn Lundin)
Newsgroups: comp.lang.ada
Subject: Re: Git clone command to get aws?
Date: Wed, 26 Apr 2023 16:32:44 +0200
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <u2bcmc$1dprg$2@dont-email.me>
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com>
<231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
<u2ar6k$1b079$1@dont-email.me>
<c6a1ea97-2dfb-4be6-8cab-925466071f04n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Apr 2023 14:32:44 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="39f3d13be5023d9cd1222937673c6c8f";
logging-data="1501040"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19+tyD+0XFVpZQBZXqfdbE9"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.10.0
Cancel-Lock: sha1:kiJBIxkH6MtzS3n7MwDofB+34+A=
Content-Language: en-US
In-Reply-To: <c6a1ea97-2dfb-4be6-8cab-925466071f04n@googlegroups.com>

by: Björn Lundin - Wed, 26 Apr 2023 14:32 UTC

On 2023-04-26 13:22, Petter wrote:

> Yes. that platform. I'll file an issue. Iam learning more every hour.

No. I meant Windows or Linux or mac

> By the way, have our roads crossed earlier?
> Regards,
> Petter

Don't know, just a first name makes it a bit hard to tell.
I guess more than you are names 'Petter'
But I cannot recall meeting anyone with that name since primary school

--
/Björn

Re: Git clone command to get aws?

<729f7165-d392-4c95-b04b-624fa006e912n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:620a:134f:b0:74d:1be5:f1a3 with SMTP id c15-20020a05620a134f00b0074d1be5f1a3mr4401011qkl.15.1682520186494;
Wed, 26 Apr 2023 07:43:06 -0700 (PDT)
X-Received: by 2002:a81:441c:0:b0:54f:93c0:4ba8 with SMTP id
r28-20020a81441c000000b0054f93c04ba8mr10330966ywa.2.1682520186274; Wed, 26
Apr 2023 07:43:06 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Apr 2023 07:43:05 -0700 (PDT)
In-Reply-To: <u2bcmc$1dprg$2@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=80.65.63.100; posting-account=ACEctQoAAAD3d42JSpp6_fpg88BhdFDo
NNTP-Posting-Host: 80.65.63.100
References: <df4b8fb0-8145-44d1-8ff6-87ed1de18dfen@googlegroups.com>
<d759e666-f330-4f65-9cc5-e4ac9437cd69n@googlegroups.com> <231d47c4-9b0e-4667-8aa7-1953d7fe9ecfn@googlegroups.com>
<u2ar6k$1b079$1@dont-email.me> <c6a1ea97-2dfb-4be6-8cab-925466071f04n@googlegroups.com>
<u2bcmc$1dprg$2@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <729f7165-d392-4c95-b04b-624fa006e912n@googlegroups.com>
Subject: Re: Git clone command to get aws?
From: petter_fryklund@hotmail.com (Petter)
Injection-Date: Wed, 26 Apr 2023 14:43:06 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2310

by: Petter - Wed, 26 Apr 2023 14:43 UTC

onsdag 26 april 2023 kl. 16:32:46 UTC+2 skrev Björn Lundin:
> On 2023-04-26 13:22, Petter wrote:
>
> > Yes. that platform. I'll file an issue. Iam learning more every hour.
> No. I meant Windows or Linux or mac
> > By the way, have our roads crossed earlier?
> > Regards,
> > Petter
> Don't know, just a first name makes it a bit hard to tell.
> I guess more than you are names 'Petter'
> But I cannot recall meeting anyone with that name since primary school
>
> --
> /Björn
My name is Petter Fryklund. I've been using Ada since 1991 as a consultant for Prono, Programator, Cap Programator, Cap Gemini, Sogeti, Atero and Sylog. I have been consulting at NobelTect, Saad Missiles, Sab Dynamics och Saab AeroTech. Now I'm an hobbiyist.

Last time I checked there was another Petter Fryklund but with an extra surname Borg. He is or was an actor in the Bert movies.

<wiggy> in a stunning new move I actually tested this upload

devel / comp.lang.ada / Re: Git clone command to get aws?

Subject	Author
Git clone command to get aws?	Petter
Re: Git clone command to get aws?	Petter
Re: Git clone command to get aws?	Petter
Re: Git clone command to get aws?	Björn Lundin
Re: Git clone command to get aws?	Petter
Re: Git clone command to get aws?	Björn Lundin
Re: Git clone command to get aws?	Petter
Re: Git clone command to get aws?	Petter