svn commit: r489651 - head/devel/ikos
Yuri Victorovich
yuri at FreeBSD.org
Tue Jan 8 08:16:42 UTC 2019
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 at 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
More information about the svn-ports-all
mailing list