From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a05:620a:54b:: with SMTP id
 o11mr3860730qko.152.1588341945608;
        Fri, 01 May 2020 07:05:45 -0700 (PDT)
X-Received: by 2002:a9d:7d15:: with SMTP id v21mr3639434otn.182.1588341945025;
 Fri, 01 May 2020 07:05:45 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.unit0.net!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 1 May 2020 07:05:44 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=73.52.142.200;
 posting-account=SpXAAQoAAABT25_edRotQEssNixvBUFY
NNTP-Posting-Host: 73.52.142.200
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <af689958-0a33-4960-b031-1d7658d7d0e6@googlegroups.com>
Subject: Using GPRbuild in GitLab build pipeline to build against a library
 that's not installed
From: Trescott Jensen <trescott@trescott.jp>
Injection-Date: Fri, 01 May 2020 14:05:45 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:58542
Date: 2020-05-01T07:05:44-07:00
List-Id: <comp.lang.ada>

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?