diff options
| author | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:35 +0000 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:35 +0000 |
| commit | 32b46ee94b2d513b3961b0b51d1eeec00cc4519b (patch) | |
| tree | 344be192b64047c76ab5f1b987ab7ba9a5505251 | |
| parent | b3dcccf6405d5a7c5f98fc91c4b16d9aaac6d89e (diff) | |
| download | ports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.tar.gz ports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.zip | |
math/btor2tools: Add CPE information
Approved by: portmgr (blanket)
| -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 |