ADA, gnat, rtems 6, ubuntu 22LTS

emanuel stiebler emu at e-bbes.com
Wed Oct 4 17:02:52 UTC 2023


I just tried to compile the tools for rtems6,
and just with "C", everything(?) works.

Trying to add ADA to the tools, it fails, complaining about gnat not 
being installed.
In the logfile:

hecking for objdir... .libs
configure: WARNING: using in-tree isl, disabling version check
configure: error: GNAT is required to build ada
shell cmd failed: /bin/sh -ex 
/AD1/PUB/RTEMS.work/rsb/rtems/build/aarch64-rtems6-gcc-506cb58-newlib-a021448-x86_64-linux-gnu-1/do-build
error: building 
aarch64-rtems6-gcc-506cb58-newlib-a021448-x86_64-linux-gnu-1emu at W531:/AD1/PUB/RTEMS.work/rsb/rtems$ 



but "gnat" gives me:

DDD at W531:/AD1/PUB/RTEMS.work/rsb/rtems$ gnat
GNAT 12.3.0
Copyright 1996-2022, Free Software Foundation, Inc.

To list Ada build switches use --help-ada

List of available commands

gnat bind               x86_64-linux-gnu-gnatbind-12
gnat chop               x86_64-linux-gnu-gnatchop-12
gnat clean              x86_64-linux-gnu-gnatclean-12
gnat compile            x86_64-linux-gnu-gnatmake-12 -f -u -c
gnat check              x86_64-linux-gnu-gnatcheck-12
gnat elim               x86_64-linux-gnu-gnatelim-12
gnat find               x86_64-linux-gnu-gnatfind-12
gnat krunch             x86_64-linux-gnu-gnatkr-12
gnat link               x86_64-linux-gnu-gnatlink-12
gnat list               x86_64-linux-gnu-gnatls-12
gnat make               x86_64-linux-gnu-gnatmake-12
gnat metric             x86_64-linux-gnu-gnatmetric-12
gnat name               x86_64-linux-gnu-gnatname-12
gnat preprocess         x86_64-linux-gnu-gnatprep-12
gnat pretty             x86_64-linux-gnu-gnatpp-12
gnat stack              x86_64-linux-gnu-gnatstack-12
gnat stub               x86_64-linux-gnu-gnatstub-12
gnat test               x86_64-linux-gnu-gnattest-12
gnat xref               x86_64-linux-gnu-gnatxref-12


Report bugs to report at adacore.com

What am I missing?
(GIT version of yesterday ...)

Cheers & Thanks


More information about the devel mailing list