diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-12-03 16:17:22 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-12-03 16:17:22 +0000 |
| commit | 4cd2370bed609c118b6edfde5d3f116e5c35b897 (patch) | |
| tree | ec58f2c41f49754e41521d5ebc9dce4597ddd0a5 /dev-ada/gprbuild/metadata.xml | |
| parent | f443475c824b4b5c086e6d040961cb35ad81bc60 (diff) | |
gentoo resync : 03.12.2017
Diffstat (limited to 'dev-ada/gprbuild/metadata.xml')
| -rw-r--r-- | dev-ada/gprbuild/metadata.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev-ada/gprbuild/metadata.xml b/dev-ada/gprbuild/metadata.xml index 4cf88165a988..4540dd6e09e3 100644 --- a/dev-ada/gprbuild/metadata.xml +++ b/dev-ada/gprbuild/metadata.xml @@ -8,9 +8,6 @@ <use> <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> - <flag name="shared">Build shared library</flag> - <flag name="static">Build static library</flag> - <flag name="static-pic">Build static library with pic code</flag> </use> <longdescription lang="en"> GPRbuild is an advanced software tool designed to help automate the |