Ada Programming Language/Alire

Ada Library Repository (a package manager for Ada)

DrPi

@drpi:matrix.org

@reznikmm: In the ada_language_server repository, there are 2 ada.tmLanguage.json files, one in syntaxes folder and another one in advanced folder. What are the differences (except the file size) ?

2 replies

ajdude

@ajdude:matrix.org

[m]

It also may not be needed on the Mac at the moment, but, I was successfully able to build a mac aarch64 alr binary that I use on my m2 air. Very easy with Simon's gnat distribution for the Mac and an existing copy of alire to recompile itself.

ajdude

@ajdude:matrix.org

[m]

:point_up: Edit: It also may not be needed on the Mac at the moment, but, I was successfully able to build a mac aarch64 alr binary that I use on my m2 air. Very easy with Simon's gnat distribution for the Mac and an existing copy of alire to alr build itself.

Bent Bracke

@bracke

Is it possible to build a non-alire package like templates-parser with a Alire installed toolchain?

16 replies

RajaSrinivasan

@RajaSrinivasan

cross build for ARM Cortex M4

ajdude

@ajdude:matrix.org

[m]

My only request, if alire is distributed for other systems, is to keep with the arch naming convention, so an M1/M2 macos release would end in bin-aarch64-macos.zip for example.

RajaSrinivasan

@RajaSrinivasan

Cross build for ARM Cortex M4 - I would like to write some algorithms in Ada to be included in an ARM target. ThreadX executive. Our app is mainly C++ now. The IDE eclipse can allow external objects I think. Question is - what does an alr environment look like? in other words how do i create this alr environment and produce just obj files. Hope this is clear. Thanks for any ideas.

Question about ImageMagick. There are references to something called G2F but that does not lead anywhere. Anyone know of where we can find this. Alternatively anyone know of an Ada binding for imagemagick?

Irvise

@irvise:matrix.irvise.xyz

[m]

@RajaSrinivasan: I do not know if this will be helpful to you... But if you are in Alire project, you can just run alr printenv which will print the environment variables and setup it does to build/run the environment. That should give you the info you need for eclipse afaik.

RajaSrinivasan

@RajaSrinivasan

@irvise:matrix.irvise.xyz thanks. will give it a shot

Irvise

@irvise:matrix.irvise.xyz

[m]

Hi. A new Alire user is having issues with it in Void Linux using MuslC. The Alire binaries cannot run there as they use GlibC. Is there a way we could provide muslc-built Alire?

2 replies

Maxim Reznik

@reznikmm

will alr be supported on ubuntu-18.04 after its deprecation on GitHub Actions actions/runner-images#6002

2 replies

Irvise

@irvise:matrix.irvise.xyz

[m]

@reznikmm: afaik, it should. It is distributed as either a binary or AppImage. There is very little dependence on the base/build OS.

ajdude

@ajdude:matrix.org

[m]

@Fabien-Chouteau: @mosteo

Regarding AJ-Ianozi/getada#1

I am interested in comforting with whatever standards you are interested in setting. A reason why I haven't messed with bash-completion yet a was because I wasn't sure if it should go in .config/ or somewhere else. I can definitely have the binary for alire live in .getada/bin instead of .alire/bin and just leave .alire alone if that's what you want, I was basing it off https://github.com/alire-project/alire/issues/1164#issuecomment-1231799016

I'll work towards leaving .alire out of it

Bent Bracke

@bracke

My fork of alire-index does not know about stable-1.2.1 - it stops at stable-1.1, but according to github it is fully synced. Any pointers?

Rolf Ebert

@RREE

When forking you have to check a box that says sth like 'all branches'. If not your fork does not see any other or newer branch.

Richard Lewis

@smoothsailing_gitlab

Should I be able to create C header files from spec files? This link https://gcc.gnu.org/onlinedocs/gnat_ugn/Running-the-C-Header-Generator.html suggests that I should.

Barry Houser

@barryhouser:matrix.org

[m]

Alire is an acronym for Ada LIbrary REpository. By weird coincidence, it's also the surname of Camila Alire, a Librarian and former president of the American Library Association from 2009 to 2010. She was later appointed as a member of the National Council on the Humanities by President Barack Obama in 2012. She even has her own Wikipedia page:

https://en.wikipedia.org/wiki/Camila\_Alire

A cool easter egg could be launch her wikipage from the browser by typing alr camila.

Barry Houser

@barryhouser:matrix.org

[m]

:point_up: Edit: Alire is an acronym for Ada LIbrary REpository. By weird coincidence, it's also the surname of Camila Alire, a Librarian and former president of the American Library Association from 2009 to 2010. She was later appointed as a member of the National Council on the Humanities by President Barack Obama in 2012. She even has her own Wikipedia page:

https://en.wikipedia.org/wiki/Camila\_Alire

A cool Alire easter egg would be to launch her Wikipedia page from the browser by typing: alr camila 😆🤣

https://en.wikipedia.org/wiki/Camila\_Alire

A cool Alire easter egg would be to launch her Wikipedia page from the browser by typing: alr camila Even cooler would be to generate her photo in ASCII text. 😆🤣

https://en.wikipedia.org/wiki/Camila\_Alire

A cool Alire easter egg would be to launch her Wikipedia page from the browser by typing: alr camila It would be even cooler to generate her photo in ASCII text at the prompt. 😆🤣

Bent Bracke

@bracke

@RREE There seems to be no way to set that option after forking. So I guess I will have to "refork"?

Manuel

@mgrojo

I suppose you can pull all branches from the official repository directly to your local repository using git pull --all url and then push to your fork in github.

Bent Bracke

@bracke

@mgrojo I will try that, when I get back to my computer.

fatih incecayir

@MilliUser

Hello. It's been a while since I met ADA. I started a project with Alire, but I noticed something. Even though I have never written any code, there is something like 4 bytes full in RAM. I feel like the program I wrote in C cannot fit in RAM with ADA. The MCU I am using is STMF030C8T6 with 64K flash and 8K RAM. I would like to benefit from your experience. Thanks in advance

4 replies

Irvise

@irvise:matrix.irvise.xyz

[m]

Are you using -Os?

fatih incecayir

@MilliUser

@irvise:matrix.irvise.xyz no I do not use

dkm

@marcat:matrix.org

[m]

The easiest would be to put it in some public git repository (e.g. github, sourceberg, sourcehut, whatever) and point us to it. If you don't have any, then a tgz would be ok too :)

fatih incecayir

@MilliUser

ok. thanks

dkm

@marcat:matrix.org

[m]

:point_up: Edit: The easiest would be to put it in some public git repository (e.g. github, codeberg, sourcehut, whatever) and point us to it. If you don't have any, then a tgz would be ok too :)

fatih incecayir

@MilliUser

sample.tar

8 replies

dkm

@marcat:matrix.org

[m]

   New solution is incomplete.
   +⚠ stm32f0_hal ~0.1.0-dev (new,missing)

@simonjwright
Which does not surprise me as I don't see the crate in the alire index (the closest is my stm32f0x2_hal crate)

2 replies

fatih incecayir

@MilliUser

stm32f0_hal.tar

sorry, this is my library. Created using alire and svd2ada

Holger Rodriguez

@hgrodriguez

I am using gnat_arm_elf in my RP2040 based projects, and just realised, that the version 12.2.1 gives me a new warning:
main has a LOAD segment with RWX permissions
While I do understand the warning message itself (to some extend), I do not understand where this comes from, as I never changed any settings regarding this. How to fix this, as the code should be RX, and RAM should be RW, so how to segregate this correctly to make this right?

Jeremy Grosser

@JeremyGrosser

The warning was added by the new version of binutils 12.2.1 is built against. The linker flags are meaningless on embedded targets without an ELF loader. This warning is safe to ignore, which is already done on the master branch JeremyGrosser/rp2040_hal@ed21f38

Holger Rodriguez

@hgrodriguez

:thumbsup:

Taymon A. Beal

@taymonbeal

Hi, quick newbie question: What's the current most recommended way to download and install GNAT Studio? I have been pointed in different directions by different sources in the wake of the GNAT Community transition.

12 replies

Alejandro R Mosteo

@mosteo

https://owasp.org/www-project-top-10-ci-cd-security-risks/

Barry Houser

@barryhouser:matrix.org

[m]

I'm trying to set up unit testing for a library project using the instructions detailed in Ada Spark Workflow. According to several documentation sources, gnattest is capable of generating a unit test skeleton. Unfortunately, the documentation I've come across only describes how to perform it using GNATstudio. Executing alr exec -- gnattest -Ptest_lpc176x5x returns an error 1. I can't access its help screen to find the source of the problem by adding the -h because it returns Alire's help. Is there a way to set the toolchain in the current PATH without using alr?

1 reply

Barry Houser

@barryhouser:matrix.org

[m]

Another issue, gnattest uses -P with no spaces followed by a project file name. If you try to use exec's -P option with it, it will issue an error.

Barry Houser

@barryhouser:matrix.org

[m]

Thanks. No worries. I presume the GDB build contains MacOS specific workaround and fixes not in the AdaCore releases, correct?

1 reply

dkm

@marcat:matrix.org

[m]

If any discourse admin for ada-lang.io is reading here, my account has been suspended when trying to submit my solution for AoC tonight. Looks like it doesn't like links to github or something... Not really sure why, but would appreciate to have my account back :)

Jeremy Grosser

@JeremyGrosser

Unsuspended. Discourse doesnt like it when new accounts post a lot of links. Should be good now.

5 replies

dkm

@marcat:matrix.org

[m]

Thanks (again)

Bent Bracke

@bracke

If I add both templates_parser and aws to the hello program, it won't build afterwards. Says 'unit "templates_parser.query" cannot belong to several projects' and a bunch of other similar stuff.
I notice that aws contains the package AWS.Templates which is a rename of Templates_Parser - is that the reason for those errors?

3 replies

Bent Bracke

@bracke

Is there a way to help alire recognize an existing OpenSSL install when with’ing aws? This is on macOS/x86.

honki_tonk

@honki_tonk:attendees.fosdem.org

[m]

Error message

When I use publish it creates the toml file but gives me an error message (see attached file) afterwards. Can I just ignore it and continue anyway?

Irvise

@irvise:matrix.irvise.xyz

[m]

Mmm... It failed during a deletion operation... If other operations take place aftwards, then it could be a problem.

Where communities thrive

People

Repo info

Activity