svn commit: r531033 - head/math/yices
Yuri Victorovich
yuri at FreeBSD.org
Tue Apr 7 21:43:50 UTC 2020
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 at 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
More information about the svn-ports-all
mailing list