mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Code Issues Releases Activity

devel/ikos: Add APRON and PPL dependencies

Browse Source
This commit is contained in:
Yuri Victorovich 2018-12-14 19:54:47 +00:00
parent d9795d7e3b
commit db094e03f1
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=487461
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
devel/ikos/Makefile
View File

@ -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