i am learning how to use Alire using the Ada binding to SFML which is ASFML. So far I have downloaded and installed ASFML using Alire and have successfully impo
I have a compile-error that states: "expected private type "Pekare" defined at line 3. found an access type". this is the .ads code: package Image_Handling is
I am working with K framework and trying to write semantics for a language similar to ada-spark and in that, I want to write semantics that involves allocation
I have a Gnat/Gprbuild project with several build configurations. I have a main source file and an secondary ads file which the main source file includes: with
On chapter 22.1 of this Learning Ada, trying to build the examples. It expects GNATprove to be installed. I am using Ubuntu 18.04 LTS, and I don't see any packa