diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-01-08 09:09:13 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-01-08 09:09:13 +0000 |
| commit | 2cee76835ba17f15c87cb8fd14ede3cb28f75397 (patch) | |
| tree | 6bd784fadeefb496d6874e64223aec147358bea9 /devel | |
| parent | 694c1920d0c05cc8adc2f286ba276ba415e46591 (diff) | |
devel/ikos: Fix USES=cmake
Reported by: tobik
Notes
Notes:
svn path=/head/; revision=489659
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/ikos/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index 39f2978a354f..fb4f9c38ff79 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -19,7 +19,7 @@ LIB_DEPENDS= libapron.so:math/apron \ libgmp.so:math/gmp \ libppl.so:devel/ppl -USES= cmake:outsource ncurses python sqlite +USES= cmake ncurses python sqlite USE_PYTHON= py3kplist USE_GITHUB= yes GH_ACCOUNT= NASA-SW-VnV |