diff options
| author | nimaje <nimaje+fbz@bureaucracy.de> | 2021-09-26 05:21:02 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-09-26 05:45:20 +0000 |
| commit | 35e8de555d9359df0261bd49f563c8b6a9baa294 (patch) | |
| tree | 87ade33e6a5c5c8e45d6ab1ab5bd26bb3d100140 | |
| parent | 6f6a8a2af1520ffcd1ac5869052baaa0cf7e15ec (diff) | |
| download | ports-35e8de555d9359df0261bd49f563c8b6a9baa294.tar.gz ports-35e8de555d9359df0261bd49f563c8b6a9baa294.zip | |
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable
PR: 258693
| -rw-r--r-- | devel/ikos/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index 0703a63eb69d..ef8510ad0ec9 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -1,7 +1,7 @@ PORTNAME= ikos DISTVERSIONPREFIX= v DISTVERSION= 3.0 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= devel MAINTAINER= yuri@FreeBSD.org @@ -17,7 +17,8 @@ LIB_DEPENDS= libapron.so:math/apron \ libgmp.so:math/gmp \ libppl.so:devel/ppl \ libtbb.so:devel/tbb -RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR} +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}sqlite3>0:databases/py-sqlite3@${PY_FLAVOR} \ + llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} USES= cmake ncurses python:3.6+ sqlite USE_GITHUB= yes |