The 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) will take place in Barcelona, Spain in the week of 11-14 June.

The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.

Deadlines: 15 January 2024 for journal-track papers; 26 February 2024 for industrial-track and work-in-progress-track papers, tutorial and workshop proposals.

More information is available on the conference site, including an extensive list of topics; details on the call for contributions for the various tracks will follow shortly.

www.ada-europe.org/conference2024

#AEiC2024 #AdaEurope #AdaProgramming

Hey all,

I'm new to the Ada programming language. I plan to learn this language well and help others learn it. I really like what I understand about the design. I'm also hoping to get into Embedded Systems, which is how I first heard about Ada.

​

What are your recommendations for setting up a dev environment? Are things such as alire important to have to use the language? I don't really understand the difference between SPARK and just regular Ada.

​

Thanks for helping me understand better.

I expect to get a lot of negative response here, maybe even insulates, but I honestly don't mean any offence.

I have been an imbedded developer for a few decades, about equally C, C++ and Ada.

A few days ago I was chatting with an Ada dev, whom I am unlikely to see again. I was bitching about the complexity of C++ and said that I liked Ada as it was "just Pascal with a few twiddly bits".

He may have felt insulted, or defensive, as he immediately replied "oh, no, it's much more complex than that", but didn't have a chance to explain why.

We were talking about Ada 95, BTW.

Again, I did not mean to offend either him or you; I am more concerned that I have been missing something that could make me a better developer.

I realize that there are minor language feature differences, but did I miss a paradigm shift? Please don't flame me - pretty please?

Hi, On my Fedora 37 64-bit (Linux 6.3.8-100.fc3) I have two gnat installed, one for the host in /usr/bin and one for ARM targets in /opt/gnat/arm-elf/bin.

I removed /opt/gnat/bin from my PATH to avoid any complication. So now I have /usr/bon in my path, when I run which gnat, it does point to /usr/bin/gnat.

gnat -v gives me: GNAT 12.3.1 20230508 (Red Hat 12.3.1-1)

When I run gprbuild on my project (either with the terminal or through Gnat studio) I get: gprconfig: Can’t find a native tool chain for language ‘ada’ No compiler for language Ada

So I try to run gprconfig: gprconfig has found the following compilers on your PATH. Only those matching the target and the selected compilers are displayed. 1. GCC-ASM for Asm in /usr/bin version 12.3.1 2. GCC-ASM for Asm2 in /usr/bin version 12.3.1 3. GCC-ASM for Asm_Cpp in /usr/bin version 12.3.1 4. LD for Bin_Img in /usr/bin version 2.38-27.fc37 5. GCC for C un /usr/bin version 12.3.1

alr toolchain gives me: gprbuild 22.0.0 Available Detected at /usr/local/bin/gprbuild gnat_external 12.3.1 Available Detected at /usr/bin

Although Alire detects it (so it would probably work with it), I don’t want to use it, I don’t like it.

How can gprbuild see my gnat?

Thanks for your help!

Hello,

Here is a very preliminary version of GNAT Studio 24.0wa as a stand alone app for macOS 13:

https://sourceforge.net/projects/gnuada/files/GNAT_GPL%20Mac%20OS%20X/2023-ventura

See readme for details.

Limitation: Ada Language Server has some latencies and doesn't respond when parsing source code with more 1000 lines. It may be due to some compilation options I missed.

There could be some other limitations that you might meet.

Feel free to report them on MacAda list (http://hermes.gwu.edu/archives/gnat-osx.html).

Any help will be really appreciated to fix these limitations.

Enjoy, Pascal.

I have been facing on a problem about Ada task without getting know what it is root cause and consequenrly, without getting it solved. This is the first time I get this problem working with Ada task.

I have a package "pkg1" which it has a task that runs on loop periodically. One of the actions of this task is to call to a protected object that is on package "pkg2" in order to get some data. These data are updated by another task of other package "pkg3". Next action of the task of package "pkg1" just after previous one (calling to a protected object) is to call a procedure "proc1" that it is on package "pkg1" that calls to a procedure "proc2" that is on package "pkg4". Task of package "pkg1" gets stuck on the calling of procedure "proc2" of package "pkg4". It doesn't end calling to "proc2" of package "pkg4". Even more, it doesn't run any action of that procedure "proc2". Rest of tasks continúe running, but task of package "pkg1" gets stuck at that point.

It would be very much appreciatef if someone could give any idea about what causes it and how to solve it. Thank you in advance

Hi, I stumbled upon this and sharing it here in case it may interest someone here.

https://www.monster.com/job-openings/ada-programmer-east-greenwich-ri--ee61daac-d707-4798-a898-61b6e2642ced

Welcome to the monthly r/ada What Are You Working On? post.

Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing.

Please stay on topic of course--items not related to the Ada programming language will be deleted on sight!

Previous "What Are You Working On" Posts

I am unsuccessfully trying to rename Put_Line() as print().

I get this is silly, but it's just for my ease. Is this possible?

My code so far:

​

with Ada.Text_IO;

use Ada.Text_IO;

​

procedure Hello is

function print renames Put_Line;

begin

print("Hello, test world!");

New_Line;

print("I am an Ada program with package use.");

end Hello;

I’ve spent the past 5 years in web development doing your typical restful apis and their frontend counterparts.

I’d like to make the transition to “smart people” programming and work on things like embedded systems.

How do I make this transition without taking a huge salary cut?

Is it possible to do some level of type-level metaprogramming in ada?
I want to programmatically create a Struct of arrays. I want to be able to give it a struct and get back a new struct, where every field is the vector version of the original.

Is this possible in ada?

I want to learn Ada programming language but unfortunately I can't find any resources in Turkish. I don't have much proficiency in English. For this reason, I searched for Turkish resources. Can you help me with this?

I installed Alire 1.2.2 on WSL ubuntu 22.04. Everything works ok but it is all extremely slow. alr search --list requires more than ten minutes to complete. Compiling and running the hello world example takes 5 minutes, it looks like the communication with the servers had problems. Anyone with the same problems?