diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 07:18:01 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-12-04 07:18:01 +0000 |
commit | edeae3269337e16b3096a33105197ce5bad11c02 (patch) | |
tree | 33cb1f136a2d0cae3e07122d02253132a7291daa /math/boolector/Makefile | |
parent | de497e3486709a280918a70b64bad11438291461 (diff) | |
download | ports-edeae3269337e16b3096a33105197ce5bad11c02.tar.gz ports-edeae3269337e16b3096a33105197ce5bad11c02.zip |
Notes
Diffstat (limited to 'math/boolector/Makefile')
-rw-r--r-- | math/boolector/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 34dec98a62b2..dd633727c480 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -1,9 +1,7 @@ # $FreeBSD$ PORTNAME= boolector -DISTVERSION= 3.0.0-239 -PORTREVISION= 1 -DISTVERSIONSUFFIX= -g0b4b8540 +DISTVERSION= 3.1.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -12,8 +10,10 @@ COMMENT= Satisfiability Modulo Theories (SMT) solver LICENSE= MIT LICENSE_FILE= ${WRKSRC}/COPYING -BUILD_DEPENDS= picosat>0:math/picosat -LIB_DEPENDS= libbtor2parser.so:math/btor2tools +BUILD_DEPENDS= cadical>0:math/cadical +LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ + libminisat.so:math/minisat \ + libpicosat.so:math/picosat USES= cmake:noninja compiler:c++11-lang # ninja fails to build tests USE_GITHUB= yes |