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

[onox <denkpadje@gmail.com>]

On Friday, May 1, 2020 at 4:05:46 PM UTC+2, Trescott Jensen wrote:
> 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?

You can specify the search paths with ADA_PROJECT_PATH (multiple paths separated by a colon). The search paths that gprbuild will use can be displayed with gnatls -v. Library (.so files) paths can be set with LD_LIBRARY_PATH.