Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ada/gprbuild/files
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/gprbuild: remove /usr/share/gpr to the project dirsTupone Alfredo2017-12-201-11/+0
* dev-ada/gprbuild: use gnatbind versioned and remove old ebuildTupone Alfredo2017-12-193-365/+27
* dev-ada/gprbuild: Fix Name_Id constantsTupone Alfredo2017-11-192-0/+88
* dev-ada/gprbuild: Really add /usr/share/gpr in front of the pathTupone Alfredo2017-11-142-29/+19
* dev-ada/gprbuild: Fix local patch against a constraint errorTupone Alfredo2017-11-112-22/+16
* dev-ada/gprbuild: add /usr to the search path for gpr filesTupone Alfredo2017-09-122-0/+38
* dev-ada/gprbuild: rm 9999 versionTupone Alfredo2017-07-011-44/+0
* dev-ada/gprbuild: Add compiler description fileTupone Alfredo2017-06-231-0/+85
* dev-ada/gprbuild: Add build tool instruction to gprbuild-2016Tupone Alfredo2017-06-221-0/+94
* dev-ada/gprbuild: Add version 2017Tupone Alfredo2017-06-191-0/+23
* dev-ada/gprbuild: Add dev-ada/gprbuild-9999Tupone Alfredo2017-05-071-0/+44
* dev-ada/gprbuild: Now that dev-ada/xmlada is in, use it to buildTupone Alfredo2017-03-291-0/+54
* dev-ada/gprbuild: Fix executable stackTupone Alfredo2017-03-281-0/+162