Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Sex, Drugs & Linux Rules -- MaDsen Wikholm, mwikholm@at8.abo.fi


devel / comp.lang.ada / Re: Using 'Image with Alire

SubjectAuthor
* Using 'Image with AlireSeth Workman
`* Re: Using 'Image with AlireSimon Wright
 `- Re: Using 'Image with AlireSeth Workman

1
Using 'Image with Alire

<3bdf9138-c60d-48a4-b720-21c25e96f16cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:4e89:0:b0:405:3a8b:b7e0 with SMTP id 9-20020ac84e89000000b004053a8bb7e0mr28715qtp.13.1691356661068;
Sun, 06 Aug 2023 14:17:41 -0700 (PDT)
X-Received: by 2002:a05:6808:1584:b0:3a7:4424:7558 with SMTP id
t4-20020a056808158400b003a744247558mr12838407oiw.3.1691356660841; Sun, 06 Aug
2023 14:17:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sun, 6 Aug 2023 14:17:40 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=161.38.141.234; posting-account=enh51goAAAB8ClLMTw1eFWidz5lUzij_
NNTP-Posting-Host: 161.38.141.234
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3bdf9138-c60d-48a4-b720-21c25e96f16cn@googlegroups.com>
Subject: Using 'Image with Alire
From: saworkman1@gmail.com (Seth Workman)
Injection-Date: Sun, 06 Aug 2023 21:17:41 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1543
 by: Seth Workman - Sun, 6 Aug 2023 21:17 UTC

I have only started learning about Ada recently and have discovered the 'Image attribute that can be used on all types starting in ada 2022.

I am using Alire and added the following to include the `-gnat2022` switch.
```
for Default_Switches ("Ada") use Learning_Config.Ada_Compiler_Switches & ("-gnat2022");
```

The Alire documentation warns about switches ~"In general, this should be avoided to preserve consistency in the ecosystem"

Is this the correct way about adding this switch or is there a way to use a toolchain that already has it by default?

Re: Using 'Image with Alire

<lyr0of25qj.fsf@pushface.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: simon@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: Using 'Image with Alire
Date: Sun, 06 Aug 2023 22:58:12 +0100
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <lyr0of25qj.fsf@pushface.org>
References: <3bdf9138-c60d-48a4-b720-21c25e96f16cn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="e77937a9e5722b1ca218e0bfd8071443";
logging-data="2630487"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+YFR3qFXMlbxo6AKHf4B2L1Lzu4lfxpVk="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (darwin)
Cancel-Lock: sha1:Vqz1VqpW1OrLoyMbKISZOPUfxCQ=
sha1:/cbggm1k7+Zs/DJ9gF3T7TTwgfE=
 by: Simon Wright - Sun, 6 Aug 2023 21:58 UTC

Seth Workman <saworkman1@gmail.com> writes:

> I have only started learning about Ada recently and have discovered
> the 'Image attribute that can be used on all types starting in ada
> 2022.
>
> I am using Alire and added the following to include the `-gnat2022` switch.
> ```
> for Default_Switches ("Ada") use Learning_Config.Ada_Compiler_Switches & ("-gnat2022");
> ```
>
> The Alire documentation warns about switches ~"In general, this should
> be avoided to preserve consistency in the ecosystem"

Not 100% sure what this means!

> Is this the correct way about adding this switch or is there a way to
> use a toolchain that already has it by default?

This works fine, but in your alire.toml you could say

[build-switches]
"*".ada_version = "ada2022"

or

[build-switches]
"*".ada_version = ["-gnat2022"]

See "Release Information" (near the end) and "Build Profiles and
Switches" in the documentation.

Re: Using 'Image with Alire

<a415e381-b4c7-4495-82ef-b9dc9cca4988n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:aad:b0:63d:67b:ec21 with SMTP id ew13-20020a0562140aad00b0063d067bec21mr25880qvb.6.1691360228171;
Sun, 06 Aug 2023 15:17:08 -0700 (PDT)
X-Received: by 2002:a05:6808:14c3:b0:3a3:d677:9a8d with SMTP id
f3-20020a05680814c300b003a3d6779a8dmr12769996oiw.0.1691360227862; Sun, 06 Aug
2023 15:17:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sun, 6 Aug 2023 15:17:07 -0700 (PDT)
In-Reply-To: <lyr0of25qj.fsf@pushface.org>
Injection-Info: google-groups.googlegroups.com; posting-host=161.38.141.234; posting-account=enh51goAAAB8ClLMTw1eFWidz5lUzij_
NNTP-Posting-Host: 161.38.141.234
References: <3bdf9138-c60d-48a4-b720-21c25e96f16cn@googlegroups.com> <lyr0of25qj.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a415e381-b4c7-4495-82ef-b9dc9cca4988n@googlegroups.com>
Subject: Re: Using 'Image with Alire
From: saworkman1@gmail.com (Seth Workman)
Injection-Date: Sun, 06 Aug 2023 22:17:08 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1580
 by: Seth Workman - Sun, 6 Aug 2023 22:17 UTC

On Sunday, August 6, 2023 at 4:58:18 PM UTC-5, Simon Wright wrote:
> [build-switches]
> "*".ada_version = "ada2022"
>
> or
>
> [build-switches]
> "*".ada_version = ["-gnat2022"]
>
> See "Release Information" (near the end) and "Build Profiles and
> Switches" in the documentation.

I see now, I think using "*".ada_version = "ada2022" is better for this case

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor