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>