diff options
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 |