svn commit: r487461 - head/devel/ikos

[Yuri Victorovich]

Author: yuri
Date: Fri Dec 14 19:54:47 2018
New Revision: 487461
URL: https://svnweb.freebsd.org/changeset/ports/487461

Log:
  devel/ikos: Add APRON and PPL dependencies

Modified:
  head/devel/ikos/Makefile

Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile	Fri Dec 14 19:53:47 2018	(r487460)
+++ head/devel/ikos/Makefile	Fri Dec 14 19:54:47 2018	(r487461)
@@ -3,6 +3,7 @@
 PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
 DISTVERSION=	2.1
+PORTREVISION=	1
 CATEGORIES=	devel
 
 MAINTAINER=	yuri at FreeBSD.org
@@ -12,10 +13,13 @@ LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.pdf
 
 BUILD_DEPENDS=	llvm${LLVM_DEFAULT}>0:devel/llvm${LLVM_DEFAULT}
-LIB_DEPENDS=	libboost_system.so:devel/boost-libs \
-		libgmp.so:math/gmp
+LIB_DEPENDS=	libapron.so:math/apron \
+		libboost_system.so:devel/boost-libs \
+		libmpfr.so:math/mpfr \
+		libgmp.so:math/gmp \
+		libppl.so:devel/ppl
 
-USES=		cmake:outsource python sqlite
+USES=		cmake:outsource ncurses python sqlite
 USE_GITHUB=	yes
 GH_ACCOUNT=	NASA-SW-VnV