diff options
-rw-r--r-- | math/btor2tools/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/btor2tools/Makefile b/math/btor2tools/Makefile index 71cea7621fe9..f6e21c9cbec5 100644 --- a/math/btor2tools/Makefile +++ b/math/btor2tools/Makefile @@ -8,6 +8,8 @@ COMMENT= Generic parser and tool package for the BTOR2 format LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt +USES= cpe +CPE_VENDOR= ${PORTNAME}_project USE_GITHUB= yes GH_ACCOUNT= Boolector GH_TAGNAME= 1df768d |