Random thought. Is there a gnat1? Can you build a native Ada hello world? I'm not sure what that configure check is trying but looking at that is the next step.
On Wed, Oct 4, 2023, 12:02 PM emanuel stiebler <e...@e-bbes.com> wrote: > 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@W531:/AD1/PUB/RTEMS.work/rsb/rtems$ > > > > > but "gnat" gives me: > > DDD@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 rep...@adacore.com > > What am I missing? > (GIT version of yesterday ...) > > Cheers & Thanks > _______________________________________________ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
