Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 8 Jan 2019 08:16:40 +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: r489651 - head/devel/ikos
Message-ID:  <201901080816.x088Ge69014550@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: yuri
Date: Tue Jan  8 08:16:40 2019
New Revision: 489651
URL: https://svnweb.freebsd.org/changeset/ports/489651

Log:
  devel/ikos: Update 2.1 -> 2.1-49
  
  * Shared libraries are now available
  * Fixes for some crashes are included

Modified:
  head/devel/ikos/Makefile
  head/devel/ikos/distinfo
  head/devel/ikos/pkg-plist

Modified: head/devel/ikos/Makefile
==============================================================================
--- head/devel/ikos/Makefile	Tue Jan  8 07:49:50 2019	(r489650)
+++ head/devel/ikos/Makefile	Tue Jan  8 08:16:40 2019	(r489651)
@@ -2,8 +2,8 @@
 
 PORTNAME=	ikos
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.1
-PORTREVISION=	1
+DISTVERSION=	2.1-49
+DISTVERSIONSUFFIX=	-g704adae
 CATEGORIES=	devel
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -19,13 +19,14 @@ LIB_DEPENDS=	libapron.so:math/apron \
 		libgmp.so:math/gmp \
 		libppl.so:devel/ppl
 
-USES=		cmake ncurses python sqlite
+USES=		cmake:outsource ncurses python sqlite
 USE_PYTHON=	py3kplist
 USE_GITHUB=	yes
 GH_ACCOUNT=	NASA-SW-VnV
 
 CXXFLAGS+=	-DNDEBUG # https://github.com/NASA-SW-VnV/ikos/issues/36, it also breaks with assert without NDEBUG
 
+CMAKE_ON=	BUILD_SHARED_LIBS
 CMAKE_ARGS=	-DLLVM_CONFIG_EXECUTABLE:PATH=${LOCALBASE}/bin/llvm-config${LLVM_DEFAULT} \
 		-DPYTHON_EXECUTABLE:STRING=${PYTHON_CMD}
 

Modified: head/devel/ikos/distinfo
==============================================================================
--- head/devel/ikos/distinfo	Tue Jan  8 07:49:50 2019	(r489650)
+++ head/devel/ikos/distinfo	Tue Jan  8 08:16:40 2019	(r489651)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1544771357
-SHA256 (NASA-SW-VnV-ikos-v2.1_GH0.tar.gz) = bd5e75a2a94fafc3d1cd01eb6541da458a10c7674e7ae29eb211642c526f1407
-SIZE (NASA-SW-VnV-ikos-v2.1_GH0.tar.gz) = 1042131
+TIMESTAMP = 1546933907
+SHA256 (NASA-SW-VnV-ikos-v2.1-49-g704adae_GH0.tar.gz) = 160e0124058de648f1cf2275faaa2e0fa33e9940488f9e39688b5c7123c86cc7
+SIZE (NASA-SW-VnV-ikos-v2.1-49-g704adae_GH0.tar.gz) = 1254355

Modified: head/devel/ikos/pkg-plist
==============================================================================
--- head/devel/ikos/pkg-plist	Tue Jan  8 07:49:50 2019	(r489650)
+++ head/devel/ikos/pkg-plist	Tue Jan  8 08:16:40 2019	(r489651)
@@ -164,9 +164,9 @@ include/ikos/frontend/llvm/import/exception.hpp
 include/ikos/frontend/llvm/import/importer.hpp
 include/ikos/frontend/llvm/import/source_location.hpp
 include/ikos/frontend/llvm/pass.hpp
-lib/libikos-ar.a
-lib/libikos-llvm-to-ar.a
-lib/libikos-pp.a
+lib/libikos-ar.so
+lib/libikos-llvm-to-ar.so
+lib/libikos-pp.so
 %%PYTHON_SITELIBDIR%%/ikos-2.1-py%%PYTHON_VER%%.egg-info
 %%PYTHON_SITELIBDIR%%/ikos/__init__.py
 %%PYTHON_SITELIBDIR%%/ikos/__init__.pyc



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201901080816.x088Ge69014550>