diff options
Diffstat (limited to 'devel/ikos/Makefile')
| -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 4ad2d6dca2aa..27b392f4fd0d 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_GITHUB= yes GH_ACCOUNT= NASA-SW-VnV |