Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

We are MicroSoft. You will be assimilated. Resistance is futile. (Attributed to B.G., Gill Bates)

devel / comp.lang.ada / Re: Alire can't decide system when "get-ing" eagle_lander demo

SubjectAuthor
* Alire can't decide system when "get-ing" eagle_lander demoRob G
`* Re: Alire can't decide system when "get-ing" eagle_lander demoStephen Leake
 `- Re: Alire can't decide system when "get-ing" eagle_lander demoRob G

1
Alire can't decide system when "get-ing" eagle_lander demo

<16f497bd-b288-420a-8d77-84b60bc6fd0bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:5985:0:b0:35b:ba8c:d522 with SMTP id e5-20020ac85985000000b0035bba8cd522mr13905120qte.213.1663571859482;
Mon, 19 Sep 2022 00:17:39 -0700 (PDT)
X-Received: by 2002:ac8:5816:0:b0:35b:ad30:3297 with SMTP id
g22-20020ac85816000000b0035bad303297mr14120465qtg.0.1663571859337; Mon, 19
Sep 2022 00:17:39 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.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: Mon, 19 Sep 2022 00:17:39 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a10:3781:fb6:1:d57e:af69:f6a8:3190;
posting-account=eKohbwoAAAAcT1cCsBgax7xODJQLjlpi
NNTP-Posting-Host: 2a10:3781:fb6:1:d57e:af69:f6a8:3190
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <16f497bd-b288-420a-8d77-84b60bc6fd0bn@googlegroups.com>
Subject: Alire can't decide system when "get-ing" eagle_lander demo
From: itsme.bar@gmail.com (Rob G)
Injection-Date: Mon, 19 Sep 2022 07:17:39 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1987
 by: Rob G - Mon, 19 Sep 2022 07:17 UTC

As a newby to Aliure, but not to Ada or GNAT-CE/GPS, I installed Alire on my WIndows10 laptop. As an additional result it installed MSYS2. I have no intention whatsoever to use MSYS, just want an Ada/Windows10 development environment.
Skipping the "Hello, World" demo I started with Eagle_Lander, mainly because that is a Gtkada app.
However, "alr get eagle_lander" resulted in a
>>
Note: Deploying gtkada=21.0.0...
-=O=- # # # #
Note: Running post_fetch actions for gtkada=21.0.0...
configure: loading site script /usr/local/etc/config.site
checking build system type... ./config.guess: unable to guess system type
<<
Note that from the MSYS2 environment that was installed by Alire, if I do a ./doinstall for Gtkada the script fails because it can't find the a bin directory with Gtk.

What to do to get Gtkada installed?
PS It is unclear to me why Alire doesn't fetch the 22.0.0 version from Gtihub

Re: Alire can't decide system when "get-ing" eagle_lander demo

<864jx3jno1.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: stephen_leake@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: Alire can't decide system when "get-ing" eagle_lander demo
Date: Mon, 19 Sep 2022 10:10:06 -0700
Organization: Aioe.org NNTP Server
Message-ID: <864jx3jno1.fsf@stephe-leake.org>
References: <16f497bd-b288-420a-8d77-84b60bc6fd0bn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="53535"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:acSb0o9iXwAKncP+frfAhFV4RqA=
 by: Stephen Leake - Mon, 19 Sep 2022 17:10 UTC

Rob G <itsme.bar@gmail.com> writes:

> As a newby to Aliure, but not to Ada or GNAT-CE/GPS, I installed Alire
> on my WIndows10 laptop. As an additional result it installed MSYS2. I
> have no intention whatsoever to use MSYS, just want an Ada/Windows10
> development environment.
> Skipping the "Hello, World" demo I started with Eagle_Lander, mainly
> because that is a Gtkada app.
> However, "alr get eagle_lander" resulted in a
>>>
> Note: Deploying gtkada=21.0.0...
> -=O=- # # # #
> Note: Running post_fetch actions for gtkada=21.0.0...
> configure: loading site script /usr/local/etc/config.site
> checking build system type... ./config.guess: unable to guess system type
> <<
> Note that from the MSYS2 environment that was installed by Alire, if I
> do a ./doinstall for Gtkada the script fails because it can't find the
> a bin directory with Gtk.
>
> What to do to get Gtkada installed?
> PS It is unclear to me why Alire doesn't fetch the 22.0.0 version from Gtihub

I don't have an answer, but it would help if you posted this as an issue
in the Alire Github project: https://github.com/alire-project/alire

There seems to be more Alire help available on the Gitter channel:
https://gitter.im/ada-lang/Alire, although maybe that will change if
more people post here; I much prefer email/news via Emacs Gnus to
anything in a web browser.

--
-- Stephe

Re: Alire can't decide system when "get-ing" eagle_lander demo

<0e09eb3c-3f32-4410-ba32-4ab37b5b4c11n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:284:b0:35c:f655:9cd3 with SMTP id z4-20020a05622a028400b0035cf6559cd3mr865824qtw.595.1663612262382;
Mon, 19 Sep 2022 11:31:02 -0700 (PDT)
X-Received: by 2002:a05:6214:c88:b0:4ac:a119:7ddf with SMTP id
r8-20020a0562140c8800b004aca1197ddfmr15482384qvr.126.1663612262244; Mon, 19
Sep 2022 11:31:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Mon, 19 Sep 2022 11:31:02 -0700 (PDT)
In-Reply-To: <864jx3jno1.fsf@stephe-leake.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2a10:3781:fb6:1:50da:794f:1834:9a56;
posting-account=eKohbwoAAAAcT1cCsBgax7xODJQLjlpi
NNTP-Posting-Host: 2a10:3781:fb6:1:50da:794f:1834:9a56
References: <16f497bd-b288-420a-8d77-84b60bc6fd0bn@googlegroups.com> <864jx3jno1.fsf@stephe-leake.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0e09eb3c-3f32-4410-ba32-4ab37b5b4c11n@googlegroups.com>
Subject: Re: Alire can't decide system when "get-ing" eagle_lander demo
From: itsme.bar@gmail.com (Rob G)
Injection-Date: Mon, 19 Sep 2022 18:31:02 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1324
 by: Rob G - Mon, 19 Sep 2022 18:31 UTC

<snip>
Thnx Stephe for the advice, just posted the same on github. Will have a look later on the Gitter channel.

Rob

devel / comp.lang.ada / Re: Alire can't decide system when "get-ing" eagle_lander demo

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor