Date: Tue, 7 Apr 2020 21:43:49 +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: r531033 - head/math/yices Message-ID: <202004072143.037LhnNg034943@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Tue Apr 7 21:43:48 2020 New Revision: 531033 URL: https://svnweb.freebsd.org/changeset/ports/531033 Log: math/yices: Update 2.6.1 -> 2.6.2 Also change http -> https, and add binary stripping. Modified: head/math/yices/Makefile head/math/yices/distinfo head/math/yices/pkg-descr head/math/yices/pkg-plist Modified: head/math/yices/Makefile ============================================================================== --- head/math/yices/Makefile Tue Apr 7 21:35:42 2020 (r531032) +++ head/math/yices/Makefile Tue Apr 7 21:43:48 2020 (r531033) @@ -1,9 +1,9 @@ # $FreeBSD$ PORTNAME= yices -DISTVERSION= 2.6.1 +DISTVERSION= 2.6.2 CATEGORIES= math -MASTER_SITES= http://yices.csl.sri.com/releases/${DISTVERSION}/ +MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-${DISTVERSION}-src MAINTAINER= yuri@FreeBSD.org @@ -26,6 +26,7 @@ CFLAGS+= -fPIC WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION} post-install: + @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* @${RM} ${STAGEDIR}${PREFIX}/lib/*.a @cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2 Modified: head/math/yices/distinfo ============================================================================== --- head/math/yices/distinfo Tue Apr 7 21:35:42 2020 (r531032) +++ head/math/yices/distinfo Tue Apr 7 21:43:48 2020 (r531033) @@ -1,3 +1,3 @@ -TIMESTAMP = 1540701574 -SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e -SIZE (yices-2.6.1-src.tar.gz) = 5419404 +TIMESTAMP = 1586295390 +SHA256 (yices-2.6.2-src.tar.gz) = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a +SIZE (yices-2.6.2-src.tar.gz) = 6014634 Modified: head/math/yices/pkg-descr ============================================================================== --- head/math/yices/pkg-descr Tue Apr 7 21:35:42 2020 (r531032) +++ head/math/yices/pkg-descr Tue Apr 7 21:43:48 2020 (r531033) @@ -8,4 +8,4 @@ Yices 2 can process input written in the SMT-LIB notat own specification language, which includes tuples and scalar types. You can also use Yices 2 as a library in your software. -WWW: http://yices.csl.sri.com/ +WWW: https://yices.csl.sri.com/ Modified: head/math/yices/pkg-plist ============================================================================== --- head/math/yices/pkg-plist Tue Apr 7 21:35:42 2020 (r531032) +++ head/math/yices/pkg-plist Tue Apr 7 21:43:48 2020 (r531033) @@ -1,8 +1,9 @@ -bin/yices_main +bin/yices bin/yices_sat bin/yices_sat_new bin/yices_smt bin/yices_smt2 +bin/yices_smt2_mt bin/yices_smtcomp include/yices.h include/yices_exit_codes.h
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202004072143.037LhnNg034943>