Date: Mon, 7 Jan 2019 16:47:47 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r489583 - head/devel/ikos Message-ID: <201901071647.x07GllD1024147@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: antoine Date: Mon Jan 7 16:47:47 2019 New Revision: 489583 URL: https://svnweb.freebsd.org/changeset/ports/489583 Log: Fix packaging with DEFAULT_VERSIONS=python=3.x PR: 234633 Modified: head/devel/ikos/Makefile Modified: head/devel/ikos/Makefile ============================================================================== --- head/devel/ikos/Makefile Mon Jan 7 16:35:22 2019 (r489582) +++ head/devel/ikos/Makefile Mon Jan 7 16:47:47 2019 (r489583) @@ -20,6 +20,7 @@ LIB_DEPENDS= libapron.so:math/apron \ libppl.so:devel/ppl 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?201901071647.x07GllD1024147>