devel/gprbuild: install into $PREFIX
AbandonedPublic
Actions

Authored by saper_saper.info on Feb 27 2026, 3:47 AM.

Details

Reviewers

thierry
agh_riseup.net

Summary

gprbuild is a universal utility not bound
to a particular GNAT version. Let's install
it into $PREFIX so that it can be used to
build code for various compilers without
setting $PATH just to run gprbuild.

Diff Detail

Lint

No Lint Coverage

Unit

No Test Coverage

Build Status

Buildable 71088
Build 67971: arc lint + arc unit

Event Timeline

saper_saper.info requested review of this revision.Feb 27 2026, 3:47 AM

saper_saper.info created this revision.

Harbormaster completed remote builds in B71047: Diff 172831.Feb 27 2026, 3:47 AM

saper_saper.info added a child revision: D55550: devel/libgpr: Rename to libgnatprj.so to avoid conflict.Feb 27 2026, 3:47 AM

I'd say this is right for gprbuild but wrong for libgpr. Due to ABI differences we have to stack the libraries under /usr/local/gnat* prefix to make sure they can only compile with the same compiler.

devel/gprbuild only

Harbormaster completed remote builds in B71088: Diff 172907.Feb 28 2026, 1:51 AM

saper_saper.info retitled this revision from devel/gprbuild, devel/libgpr: install into $PREFIX to devel/gprbuild: install into $PREFIX.Feb 28 2026, 1:52 AM

thierry mentioned this in R11:22047bd388f5: devel/gprbuild: Update to 26.0.0.Jul 3 2026, 7:28 PM

This is wrong. We can have shared gprconfig files but everything else should be installed in a toolchain specific directory /usr/local/gnatXX. We might need to prepare a wrapper similar to javavmwrapper to decide on runtime which toolchain to use, and therefore we could have mulitple instance of gprbuild installed per-toolchain.