diff options
Diffstat (limited to 'dev-util/cppcheck/metadata.xml')
-rw-r--r-- | dev-util/cppcheck/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-util/cppcheck/metadata.xml b/dev-util/cppcheck/metadata.xml index de3bd183267b..af774e39e7f8 100644 --- a/dev-util/cppcheck/metadata.xml +++ b/dev-util/cppcheck/metadata.xml @@ -7,6 +7,9 @@ </maintainer> <use> <flag name="htmlreport">install cppcheck-htmlreport</flag> + <flag name="z3"> + Enable support for <pkg>sci-mathematics/z3</pkg> backend + </flag> </use> <upstream> <remote-id type="sourceforge">cppcheck</remote-id> |