diff options
Diffstat (limited to 'dev-ada/gpr/metadata.xml')
| -rw-r--r-- | dev-ada/gpr/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/gpr/metadata.xml b/dev-ada/gpr/metadata.xml index 51966a8cdf1e..3551228a3310 100644 --- a/dev-ada/gpr/metadata.xml +++ b/dev-ada/gpr/metadata.xml @@ -6,6 +6,7 @@ </maintainer> <use> <flag name="shared">Build shared library</flag> + <flag name="static-pic">Build static library with pic code</flag> </use> <upstream> <remote-id type="github">AdaCore/gpr</remote-id> |