I’m trying to install this application. This is an IDE that was developed by AdaCore to do Ada development. I can’t even find it in a list of possible applications that I can install.
What am I missing?
Welcome to the forum! 
The application you are looking for is available from the AUR. As such, installing it will comprise the local compilation on your machine of the source code. Depending on your CPU, your amount of RAM and the size of the application, this may take some time, but at least it’s there.
In order to install it, you must first fully update your system if you haven’t done so already, because there was a major update earlier today. 
Close as many applications as possible, open up a terminal window, and issue the following command…
sudo pacman -Syu
Let the update finish ─ don’t power off or reboot your computer while the system is updating, because you won’t be able to boot anymore. Then, when the update has finished, issue the following command in order to install AdaCore…
pamac build gnat-gps
2 Likes
Hi, sorry for such a late reply. I did as you suggested and this is what I saw:
$ pamac build gnat-gps
Preparing...
Cloning gnat-gps build files...
Checking gnat-gps dependencies...
Cloning gnatcoll-xref build files...
Checking gnatcoll-xref dependencies...
Cloning gnatcoll-db2ada build files...
Checking gnatcoll-db2ada dependencies...
Cloning gnatcoll-gnatinspect build files...
Checking gnatcoll-gnatinspect dependencies...
Cloning gnatcoll-sqlite build files...
Checking gnatcoll-sqlite dependencies...
Resolving dependencies...
Checking inter-conflicts...
To build (5):
gnatcoll-sqlite 2020-1 AUR
gnatcoll-db2ada 2020-1 AUR
gnatcoll-xref 2020-1 AUR
gnatcoll-gnatinspect 2020-1 AUR
gnat-gps 2020-8 AUR
Edit build files : [e]
Apply transaction ? [e/y/N] y
Building gnatcoll-sqlite...
==> Making package: gnatcoll-sqlite 2020-1 (Fri 14 May 2021 11:35:29 PM EDT)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
-> Found gnatcoll-db-20.2.tar.gz
==> Validating source files with sha1sums...
gnatcoll-db-20.2.tar.gz ... Passed
==> Removing existing $srcdir/ directory...
==> Extracting sources...
-> Extracting gnatcoll-db-20.2.tar.gz with bsdtar
==> Removing existing $pkgdir/ directory...
==> Starting build()...
gprbuild -p -m --target=x86_64-linux -j0 -XGNATCOLL_SQLITE=embedded -XGNATCOLL_VERSION=0.0 -XBUILD=PROD -R -cargs -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2,-D_GLIBCXX_ASSERTIONS -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -largs -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -gargs -XLIBRARY_TYPE=static -XXMLADA_BUILD=static -XGPR_BUILD=static \
-XGNATCOLL_SQLITE=embedded -XGNATCOLL_VERSION=0.0 -XBUILD=PROD gnatcoll_sqlite.gpr
Setup
[mkdir] object directory for project GnatColl_Sqlite
[mkdir] library directory for project GnatColl_Sqlite
gnatcoll_sqlite.gpr:25:06: unknown project file: "gnatcoll_sql"
gprbuild: "gnatcoll_sqlite.gpr" processing failed
make: *** [Makefile:124: build-static] Error 4
==> ERROR: A failure occurred in build().
Aborting...
What should I do now? My guess is that I’m most likely missing a package or something like that. Or maybe I need to uninstall my previous Ada compiler?
It’s a build error with one of the dependencies, gnatcoll-sqlite. You could report it on the AUR package page so the Maintainer is aware.
I just tried to install just gnatcoll-sqlite just for giggles and yup, it’s the problem:
Building gnatcoll-sqlite...
Running as unit: run-u70690.service
Press ^] three times within 1s to disconnect TTY.
==> Making package: gnatcoll-sqlite 1:21.0.0-1 (Sun 23 May 2021 09:33:38 PM EDT)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
-> Downloading gnatcoll-db-21.0.0.tar.gz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 128 100 128 0 0 503 0 --:--:-- --:--:-- --:--:-- 501
100 2574k 0 2574k 0 0 2738k 0 --:--:-- --:--:-- --:--:-- 2738k
==> Validating source files with sha256sums...
gnatcoll-db-21.0.0.tar.gz ... Passed
==> Removing existing $srcdir/ directory...
==> Extracting sources...
-> Extracting gnatcoll-db-21.0.0.tar.gz with bsdtar
==> Starting build()...
gprconfig: error while loading shared libraries: libgnarl-2020.so: cannot open shared object file: No such file or directory
Makefile:71: *** No toolchain found for target "x86_64-pc-linux-gnu". Stop.
==> ERROR: A failure occurred in build().
Aborting...
Finished with result: exit-code
Main processes terminated with: code=exited/status=4
Service runtime: 8.764s
I’ll report it on AUR.