svn commit: r489583 - head/devel/ikos

[Antoine Brodin]

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