Build fails for me with
==> Starting build()...
gprbuild -p -j0 -XBUILD_MODE=dev gnat/markdown.gpr -cargs
gprbuild: error while loading shared libraries: libgpr.so: cannot open shared object file: No such file or directory
make: *** [Makefile:29: all] Error 127
==> ERROR: A failure occurred in build().
I have installed gprbuild
from the [ada] repository; when I run it it fails with
gprbuild: error while loading shared libraries: libgpr.so: cannot open shared object file: No such file or directory
Using gprbuild-bootstrap
fixes the issue, as well as building gprbuild
from the AUR.
Regards!
Pinned Comments
charlie5 commented on 2023-07-09 16:46 (UTC)
This package is available in the Arch Ada Repository.