Using GPRbuild in GitLab build pipeline to build against a library that's not installed

[Trescott Jensen <trescott@trescott.jp>]

I've been reading the GPRbuild documentation trying to learn how to do this, but I'm not finding what I need. (Or maybe I'm not recognizing it. My experience is with the Green Hills build tools.)

I'm playing with the basic GtkAda "hello world" example program.

I can build it on my local box (Linux), but the build pipeline on GitLab fails on the with "gtkada" line in the gpr file. I recognize that this is because the environment that the build pipeline is running in does not have the library installed.

I have tried including the gtkada git repository as a sub-module in my git repository and building it with my project, but this leads to more dependency issues, when I don't really need to build the library in the first place.

I've tried including the compiled library in my git repository and copying/installing the files into the build pipeline's environment, but the build process does not have the needed permissions. (I didn't expect this to work.)

So, this leaves me wanting to tell GPRbuild to look in a non-standard location to find the library to build against.

How do I specify a path for libraries?

Am I going about this the wrong way? Is there a better way?