diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-05-23 02:57:53 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-23 02:57:53 +0100 |
commit | 24c53d42e0294f4f6e36fbb051891af86c9ae503 (patch) | |
tree | b0af743b9df96807807fc6a16e77af239820b0c3 /dev-ada/gpr/metadata.xml | |
parent | 351b26cfd42c558fa0f8eef51960c87bb0674026 (diff) |
gentoo auto-resync : 23:05:2023 - 02:57:53
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> |