Re: Git clone command to get aws?

[Petter <petter_fryklund@hotmail.com>]

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