GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-ada
/
gprbuild
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ada/gprbuild: add /usr to the search path for gpr files
Tupone Alfredo
2017-09-12
2
-0
/
+38
*
dev-ada/gprbuild: rm 9999 version
Tupone Alfredo
2017-07-01
2
-155
/
+0
*
dev-ada/gprbuild: Add use flags gnat_2016 & gnat_2017 to 2016 version too
Tupone Alfredo
2017-06-27
2
-27
/
+18
*
dev-ada/gprbuild: add gnat_2016 and gnat_2017 use flags to select the compiler
Tupone Alfredo
2017-06-26
2
-30
/
+24
*
dev-ada/gprbuild: Fix tool description
Tupone Alfredo
2017-06-24
1
-3
/
+2
*
dev-ada/gprbuild: Add compiler description file
Tupone Alfredo
2017-06-23
2
-0
/
+94
*
dev-ada/gprbuild: Add build tool instruction to gprbuild-2016
Tupone Alfredo
2017-06-22
2
-1
/
+104
*
dev-ada/gprbuild: Add version 2017
Tupone Alfredo
2017-06-19
5
-3
/
+140
*
dev-ada/gprbuild: Add dev-ada/gprbuild-9999
Tupone Alfredo
2017-05-07
3
-6
/
+156
*
dev-ada/gprbuild: Fix documentation directories
Tupone Alfredo
2017-03-30
1
-0
/
+3
*
dev-ada/gprbuild: Now that dev-ada/xmlada is in, use it to build
Tupone Alfredo
2017-03-29
3
-26
/
+113
*
dev-ada/gprbuild: Fix executable stack
Tupone Alfredo
2017-03-28
2
-3
/
+167
*
dev-ada/gprbuild: Add gprbuild-gpl-2016
Tupone Alfredo
2017-03-22
3
-0
/
+88