aboutsummaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorStefan Eßer <se@FreeBSD.org>2021-10-19 11:14:35 +0000
committerStefan Eßer <se@FreeBSD.org>2021-10-19 11:14:35 +0000
commit32b46ee94b2d513b3961b0b51d1eeec00cc4519b (patch)
tree344be192b64047c76ab5f1b987ab7ba9a5505251 /math
parentb3dcccf6405d5a7c5f98fc91c4b16d9aaac6d89e (diff)
downloadports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.tar.gz
ports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.zip
math/btor2tools: Add CPE information
Approved by: portmgr (blanket)
Diffstat (limited to 'math')
-rw-r--r--math/btor2tools/Makefile2
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