# Help **URL:** https://forum.ada-lang.io/c/help/8.md [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) --- ## [About the Help category](https://forum.ada-lang.io/t/about-the-help-category/4112)
**Author:** [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Replies:** 0\ **Last updated:** [January 13, 2026, 9:15pm UTC](https://forum.ada-lang.io/t/about-the-help-category/4112 "2026-01-13T21:15:13Z")
Questions about libraries, compilers, editors, and setup related problems. --- ## [Building gnatlib](https://forum.ada-lang.io/t/building-gnatlib/4751)
**Author:** [@PeterBB](https://forum.ada-lang.io/u/PeterBB)\ **Replies:** 4\ **Last updated:** [September 18, 2026, 7:26pm UTC](https://forum.ada-lang.io/t/building-gnatlib/4751 "2026-09-18T19:26:51Z")
Is there any way to do a stand alone build of lingnarl and libgnat without building the whole of gcc? I’ve tried the following, mkdir build && cd build ../gcc/configure --enable-languages=ada cd ada make gnatlib b… --- ## [Proving a cumulative-product loop with a bounded result type — is there a standard idiom?](https://forum.ada-lang.io/t/proving-a-cumulative-product-loop-with-a-bounded-result-type-is-there-a-standard-idiom/4715)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 6\ **Last updated:** [September 5, 2026, 3:19pm UTC](https://forum.ada-lang.io/t/proving-a-cumulative-product-loop-with-a-bounded-result-type-is-there-a-standard-idiom/4715 "2026-09-05T15:19:59Z")
I’ve been generating SPARK bodies against fixed specifications and checking them with gnatprove --level=2, and I’ve hit an obligation I can’t discharge. I suspect I’m missing a standard idiom rather than anything deep, s… --- ## [Protected Object ceiling priority](https://forum.ada-lang.io/t/protected-object-ceiling-priority/4645)
**Author:** [@sidisyom](https://forum.ada-lang.io/u/sidisyom)\ **Replies:** 13\ **Last updated:** [August 26, 2026, 9:41pm UTC](https://forum.ada-lang.io/t/protected-object-ceiling-priority/4645 "2026-08-26T21:41:11Z")
Hi, I’ve written a small program which is targeting the embedded-stm32f429disco runtime and have come across an issue related to tasks accessing a protected object. The details of the program aren’t too important for t… --- ## [Startup-gen 26.0.0 Build Failure](https://forum.ada-lang.io/t/startup-gen-26-0-0-build-failure/4647)
**Author:** [@bbouchard](https://forum.ada-lang.io/u/bbouchard)\ **Replies:** 6\ **Last updated:** [August 19, 2026, 9:04pm UTC](https://forum.ada-lang.io/t/startup-gen-26-0-0-build-failure/4647 "2026-08-19T21:04:30Z")
Whenever I try to build the startup-gen crate using alr build I get the following error: Compile \[Ada\] gpr-compilation-process.adb \[Ada\] device.adb \[Ada\] setup.adb \[Ada\] utils.adb gpr… --- ## [Problem with Publishing assistant: step 11](https://forum.ada-lang.io/t/problem-with-publishing-assistant-step-11/4567)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 2\ **Last updated:** [August 8, 2026, 12:20pm UTC](https://forum.ada-lang.io/t/problem-with-publishing-assistant-step-11/4567 "2026-08-08T12:20:54Z")
Does anybody know where in git checkouts the alire index in step step 11 of the publishing assistant. Publishing assistant: step 11 of 13: Clone community index error: Command \["git", "checkout", "upstream/stable-1.4.0"… --- ## [Gnat Programming Studio on Raspbian](https://forum.ada-lang.io/t/gnat-programming-studio-on-raspbian/4612)
**Author:** [@Chutulu](https://forum.ada-lang.io/u/Chutulu)\ **Replies:** 13\ **Last updated:** [August 8, 2026, 7:49am UTC](https://forum.ada-lang.io/t/gnat-programming-studio-on-raspbian/4612 "2026-08-08T07:49:40Z")
Hi, I want to program in Ada on my Raspberry Pi 5. I had a 2 and there I was able to install GPS. No idea which version of the raspbian it was. The current version of Raspbian doesn’t seem to have GPS available. I trie… --- ## [Overloaded iterations with "of"](https://forum.ada-lang.io/t/overloaded-iterations-with-of/4594)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 2\ **Last updated:** [July 28, 2026, 6:57pm UTC](https://forum.ada-lang.io/t/overloaded-iterations-with-of/4594 "2026-07-28T18:57:48Z")
I was pretty happy to use overload functionality of Constant\_Indexing with my container: (Source code available upon request) 4. package USXStrings is 5. type UXString is tagged record 6. Data : Wid… --- ## [Help with limited type](https://forum.ada-lang.io/t/help-with-limited-type/4588)
**Author:** [@Shuihuzhuan](https://forum.ada-lang.io/u/Shuihuzhuan)\ **Replies:** 8\ **Last updated:** [July 24, 2026, 4:27pm UTC](https://forum.ada-lang.io/t/help-with-limited-type/4588 "2026-07-24T16:27:20Z")
I have something like that (simplified skeleton version). tests.ads with Ada.Containers.Indefinite\_Holders; package Tests is type Element is tagged private; private type Holder\_Content\_Root is interface; … --- ## [GNAT 14.3 is unable to query record's \`'Object\_Size\` at compile time](https://forum.ada-lang.io/t/gnat-14-3-is-unable-to-query-records-object-size-at-compile-time/4574)
**Author:** [@jlombera](https://forum.ada-lang.io/u/jlombera)\ **Replies:** 6\ **Last updated:** [July 15, 2026, 8:22pm UTC](https://forum.ada-lang.io/t/gnat-14-3-is-unable-to-query-records-object-size-at-compile-time/4574 "2026-07-15T20:22:01Z")
I found following bug in GNAT 14.3 when trying to query a record’s 'Object\_Size at compile time. Using this example: procedure Test is type Rec is record A : Integer; end record; pragma Compile\_Time\_Err… --- ## [Use GCC builtin intrinsic that requires immediate value as argument](https://forum.ada-lang.io/t/use-gcc-builtin-intrinsic-that-requires-immediate-value-as-argument/4568)
**Author:** [@ssor](https://forum.ada-lang.io/u/ssor)\ **Replies:** 7\ **Last updated:** [July 14, 2026, 7:11pm UTC](https://forum.ada-lang.io/t/use-gcc-builtin-intrinsic-that-requires-immediate-value-as-argument/4568 "2026-07-14T19:11:09Z")
Hi, firstly I wanted to thank those who started and participate on this website and forum as I was debating whether to ask this on Stackoverflow or here, but at least from briefly checking, this forum possibly seems to b… --- ## [My package level task never ends](https://forum.ada-lang.io/t/my-package-level-task-never-ends/4552)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 16\ **Last updated:** [July 8, 2026, 10:07am UTC](https://forum.ada-lang.io/t/my-package-level-task-never-ends/4552 "2026-07-08T10:07:06Z")
I have a unit test for the Jorvik profile which is quite challenging. The aim is to test a ring buffer reading and writing from two different tasks. The tests run through, AUnit posts the final results but the test progr… --- ## [Libadalang python bindings from Alire](https://forum.ada-lang.io/t/libadalang-python-bindings-from-alire/4550)
**Author:** [@ThyMYthOS](https://forum.ada-lang.io/u/ThyMYthOS)\ **Replies:** 2\ **Last updated:** [July 7, 2026, 9:04pm UTC](https://forum.ada-lang.io/t/libadalang-python-bindings-from-alire/4550 "2026-07-07T21:04:37Z")
@Fabien.C do you know if it’s possible to use the python bindings with the version of libadalang in Alire? It seems that Alire only builds a static library that cannot be used by Python. Also: Would it be possible to pu… --- ## [Debugging methodology](https://forum.ada-lang.io/t/debugging-methodology/4528)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 12\ **Last updated:** [June 29, 2026, 4:12pm UTC](https://forum.ada-lang.io/t/debugging-methodology/4528 "2026-06-29T16:12:17Z")
Hi, When faced with an error which causes an exception, what is your approach for debugging the issue? I have tried using -Es in Binder accompanied with -g in Compiler and Binder. However, this just gives me a stack tr… --- ## [POSSIBLE Bug/Unclear Docs: Generic interfaces/indefinite abstract tagged private](https://forum.ada-lang.io/t/possible-bug-unclear-docs-generic-interfaces-indefinite-abstract-tagged-private/4503)
**Author:** [@nicolterra](https://forum.ada-lang.io/u/nicolterra)\ **Replies:** 1\ **Last updated:** [June 14, 2026, 7:42am UTC](https://forum.ada-lang.io/t/possible-bug-unclear-docs-generic-interfaces-indefinite-abstract-tagged-private/4503 "2026-06-14T07:42:05Z")
EDIT: I was wrong apparently on abstract so maybe it just broke with the generic package instance anyway as a type error. Still, read please I have a lot to potentially correct. I am sorry if this is a known bug, if thi… --- ## [Installing libadalang\_tools via alire in Void Linux musl fails with missing dependency libgmp](https://forum.ada-lang.io/t/installing-libadalang-tools-via-alire-in-void-linux-musl-fails-with-missing-dependency-libgmp/4493)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 3\ **Last updated:** [June 8, 2026, 8:09pm UTC](https://forum.ada-lang.io/t/installing-libadalang-tools-via-alire-in-void-linux-musl-fails-with-missing-dependency-libgmp/4493 "2026-06-08T20:09:25Z")
Hello, I am able to build and run Alire inside void-musl. However, when I try and install libadalang\_tools it complains that libgmp dependency is missing. However, I do have libgmp installed: $ xbps-query -Rs gmp ... … --- ## [How to specify Ada runtime with GPRbuild](https://forum.ada-lang.io/t/how-to-specify-ada-runtime-with-gprbuild/4481)
**Author:** [@SadClouds](https://forum.ada-lang.io/u/SadClouds)\ **Replies:** 11\ **Last updated:** [June 7, 2026, 8:33pm UTC](https://forum.ada-lang.io/t/how-to-specify-ada-runtime-with-gprbuild/4481 "2026-06-07T20:33:26Z")
I have a runtime installed at this location: $ ls -1 ${HOME:?}/bare\_runtime adainclude adalib I can build object files if I invoke GCC cross-compiler directly and specify the path to runtime: $ ${HOME:?}/gcc-15.2.0\_sp… --- ## [Question regarding GNAT availability for MacOS arm64 via getada (or not) with the new ALIRE release](https://forum.ada-lang.io/t/question-regarding-gnat-availability-for-macos-arm64-via-getada-or-not-with-the-new-alire-release/4464)
**Author:** [@Ret\_Build\_Engineer](https://forum.ada-lang.io/u/Ret_Build_Engineer)\ **Replies:** 1\ **Last updated:** [May 30, 2026, 10:53am UTC](https://forum.ada-lang.io/t/question-regarding-gnat-availability-for-macos-arm64-via-getada-or-not-with-the-new-alire-release/4464 "2026-05-30T10:53:34Z")
I just updated to the MacOS arm64 version of Alire 2-3. First of all: Thank you for providing a MacOS arm64 version! Now my question. I tried to use a pre-existing failing attempt to solve a Rosetta Code task (Hammin… --- ## [GNAT bug maybe?](https://forum.ada-lang.io/t/gnat-bug-maybe/4440)
**Author:** [@sbenitezb](https://forum.ada-lang.io/u/sbenitezb)\ **Replies:** 6\ **Last updated:** [May 21, 2026, 9:19pm UTC](https://forum.ada-lang.io/t/gnat-bug-maybe/4440 "2026-05-21T21:19:56Z")
This is the minimum I could do to reproduce it, but I’m not sure it’s a bug in the compiler or my code is doing something that shouldn’t. pragma Ada\_2022; with Interfaces; package Core.Bug with SPARK\_Mode =\> On is … --- ## [Crate executable dependency with Alire](https://forum.ada-lang.io/t/crate-executable-dependency-with-alire/4359)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 3\ **Last updated:** [May 13, 2026, 7:20pm UTC](https://forum.ada-lang.io/t/crate-executable-dependency-with-alire/4359 "2026-05-13T19:20:48Z")
I want to publish a crate of an executable (EB) whose some generated Ada sources depend of an other executable (EA) which is also a crate. In the alire.toml of EB I add the dependance of EA and its invocation as post-fe… --- ## [Gprconfig for bare metal target](https://forum.ada-lang.io/t/gprconfig-for-bare-metal-target/4409)
**Author:** [@SadClouds](https://forum.ada-lang.io/u/SadClouds)\ **Replies:** 8\ **Last updated:** [May 13, 2026, 12:24pm UTC](https://forum.ada-lang.io/t/gprconfig-for-bare-metal-target/4409 "2026-05-13T12:24:03Z")
I have a bare metal cross compiler without any Ada runtime which targets sparc64-unknown-elf. I previously manually (i.e. copying and pasting) created a project config .cgpr file so I could build minimal Ada runtime from… --- ## [GNAT 15: (style) redundant parentheses \[-gnatyz\]](https://forum.ada-lang.io/t/gnat-15-style-redundant-parentheses-gnatyz/4395)
**Author:** [@saper](https://forum.ada-lang.io/u/saper)\ **Replies:** 9\ **Last updated:** [May 7, 2026, 8:40am UTC](https://forum.ada-lang.io/t/gnat-15-style-redundant-parentheses-gnatyz/4395 "2026-05-07T08:40:56Z")
asn1scc generated code includes the adasn1rtl.ads file, which contains this: function Asn1Real\_Equal (Left, Right : Asn1Real) return Boolean is (if Left = Right then True elsif Left = 0.0 then Right = 0.0 … --- ## [Understanding resource allocation / de-allocation](https://forum.ada-lang.io/t/understanding-resource-allocation-de-allocation/4386)
**Author:** [@ZenitDS](https://forum.ada-lang.io/u/ZenitDS)\ **Replies:** 25\ **Last updated:** [May 4, 2026, 5:54pm UTC](https://forum.ada-lang.io/t/understanding-resource-allocation-de-allocation/4386 "2026-05-04T17:54:08Z")
Hello, Reading Ada 2012 and other resources online I cannot figure out how allocation and deallocation are supposed to work in Ada further than new|malloc and Unchecked\_Deallocation|free. For example, if I want to impl… --- ## [Ada Web Server CORS Support](https://forum.ada-lang.io/t/ada-web-server-cors-support/4374)
**Author:** [@lunarlattice0](https://forum.ada-lang.io/u/lunarlattice0)\ **Replies:** 3\ **Last updated:** [April 30, 2026, 5:12am UTC](https://forum.ada-lang.io/t/ada-web-server-cors-support/4374 "2026-04-30T05:12:43Z")
Hi, I’m having some trouble enabling CORS with the Ada Web Server. I tried sending headers before the actual response as suggested here but this seems to cause the web server to hang and the browser to infinitely load. I… --- ## [Async signal handling in ada](https://forum.ada-lang.io/t/async-signal-handling-in-ada/4348)
**Author:** [@tremon](https://forum.ada-lang.io/u/tremon)\ **Replies:** 4\ **Last updated:** [April 23, 2026, 7:49pm UTC](https://forum.ada-lang.io/t/async-signal-handling-in-ada/4348 "2026-04-23T19:49:29Z")
Is there a way to make gnat play nice with asynchronous signal handling, i.e. signalfd(2)? From my experimentation so far, it seems that the gnat/ada runtime always spawns a separate signal handling thread (i.e. Interrup… --- ## [Gnat ide lost window perspectives formatting](https://forum.ada-lang.io/t/gnat-ide-lost-window-perspectives-formatting/4351)
**Author:** [@Kel](https://forum.ada-lang.io/u/Kel)\ **Replies:** 2\ **Last updated:** [April 15, 2026, 5:11pm UTC](https://forum.ada-lang.io/t/gnat-ide-lost-window-perspectives-formatting/4351 "2026-04-15T17:11:58Z")
I am not sure what I did to lose my gnat studio 21.1 development and debug formatting The ones you can get from the pull-down menu:windows→perspectives →debug or analyze →debug or analyze formats I used to have gnat i… --- ## [Building ada\_language\_server on OpenBSD](https://forum.ada-lang.io/t/building-ada-language-server-on-openbsd/4332)
**Author:** [@tomekw](https://forum.ada-lang.io/u/tomekw)\ **Replies:** 8\ **Last updated:** [April 11, 2026, 7:23pm UTC](https://forum.ada-lang.io/t/building-ada-language-server-on-openbsd/4332 "2026-04-11T19:23:29Z")
Hey, I have gnat-15.2 and gprbuild-18 working. I was able to build Alire as well (from master branch). $ alr get ada\_language\_server Fails with: ◴ Solving dependencies: 81.48% solved (22/27 deps, 1/72 solutions left)…… --- ## [Updating GitHub Main branch](https://forum.ada-lang.io/t/updating-github-main-branch/4327)
**Author:** [@Nordic\_Dogsledding](https://forum.ada-lang.io/u/Nordic_Dogsledding)\ **Replies:** 9\ **Last updated:** [April 11, 2026, 6:40am UTC](https://forum.ada-lang.io/t/updating-github-main-branch/4327 "2026-04-11T06:40:54Z")
My GitHub repository has two branches, Main and a development one. The latter tells me it’s so-and-so-many commits ahead of main. So in order to update, I’m going to create pull request, right? The page tells me: bas… --- ## [Serial Communications Package Compatibility Issue](https://forum.ada-lang.io/t/serial-communications-package-compatibility-issue/4319)
**Author:** [@bbouchard](https://forum.ada-lang.io/u/bbouchard)\ **Replies:** 6\ **Last updated:** [April 8, 2026, 7:30pm UTC](https://forum.ada-lang.io/t/serial-communications-package-compatibility-issue/4319 "2026-04-08T19:30:21Z")
Hello! I’m trying to write a program that can accept an input when run (for integration into LabVIEW) to control a pump (Cole Parmer Masterflex L/S). This pump accepts serial communications through an RS-232 cable, whic… --- ## [Two versions of GtkAda.gpr](https://forum.ada-lang.io/t/two-versions-of-gtkada-gpr/4325)
**Author:** [@ldries46](https://forum.ada-lang.io/u/ldries46)\ **Replies:** 3\ **Last updated:** [April 8, 2026, 11:45am UTC](https://forum.ada-lang.io/t/two-versions-of-gtkada-gpr/4325 "2026-04-08T11:45:18Z")
Probably as a result of a very troublesome install of GtkAda with Alire on my computer I now have two versions of GtkAda.gpr. The question is which one is the correct one. with “config/gtkada\_config.gpr”; project Gtkad… [Next page](https://forum.ada-lang.io/c/help/8.md?page=1)