Date: Fri, 14 Dec 2018 19:54:48 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r487461 - head/devel/ikos Message-ID: <201812141954.wBEJsm2D065564@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812141954.wBEJsm2D065564>