devel/gprbuild: install into $PREFIX
Needs ReviewPublic
Actions

Authored by saper_saper.info on Fri, Feb 27, 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.Fri, Feb 27, 3:47 AM

saper_saper.info created this revision.

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

saper_saper.info added a child revision: D55550: devel/libgpr: Rename to libgnatprj.so to avoid conflict.Fri, Feb 27, 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.Sat, Feb 28, 1:51 AM

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