Date: Tue, 8 Jan 2019 09:09:13 +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: r489659 - head/devel/ikos Message-ID: <201901080909.x0899DYK041849@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Tue Jan 8 09:09:13 2019 New Revision: 489659 URL: https://svnweb.freebsd.org/changeset/ports/489659 Log: devel/ikos: Fix USES=cmake Reported by: tobik Modified: head/devel/ikos/Makefile Modified: head/devel/ikos/Makefile ============================================================================== --- head/devel/ikos/Makefile Tue Jan 8 09:06:37 2019 (r489658) +++ head/devel/ikos/Makefile Tue Jan 8 09:09:13 2019 (r489659) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201901080909.x0899DYK041849>