kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/yices: Update 2.6.1 -> 2.6.2

Browse source 
Also change http -> https, and add binary stripping.
This commit is contained in:
Yuri Victorovich 2020-04-07 21:43:48 +00:00
parent 42f81424dc
commit 49211628ac
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=531033
4 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
math/yices/Makefile
View file

@ -1,9 +1,9 @@
# $FreeBSD$ # $FreeBSD$
PORTNAME= yices PORTNAME= yices
DISTVERSION= 2.6.1 DISTVERSION= 2.6.2
CATEGORIES= math CATEGORIES= math
MASTER_SITES= http://yices.csl.sri.com/releases/${DISTVERSION}/ MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/
DISTNAME= ${PORTNAME}-${DISTVERSION}-src DISTNAME= ${PORTNAME}-${DISTVERSION}-src
MAINTAINER= yuri@FreeBSD.org MAINTAINER= yuri@FreeBSD.org
@ -26,6 +26,7 @@ CFLAGS+= -fPIC
WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION} WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION}
post-install: post-install:
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
@${RM} ${STAGEDIR}${PREFIX}/lib/*.a @${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 @cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2

6
math/yices/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1540701574 TIMESTAMP = 1586295390
SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e SHA256 (yices-2.6.2-src.tar.gz) = 1f205c056dd430f830c688fba6c87d8bd07bd8fa05f65936e12c27e71fa3576a
SIZE (yices-2.6.1-src.tar.gz) = 5419404 SIZE (yices-2.6.2-src.tar.gz) = 6014634

2
math/yices/pkg-descr
View file

@ -8,4 +8,4 @@ Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 and
own specification language, which includes tuples and scalar types. You can also own specification language, which includes tuples and scalar types. You can also
use Yices 2 as a library in your software. use Yices 2 as a library in your software.
WWW: http://yices.csl.sri.com/ WWW: https://yices.csl.sri.com/

3
math/yices/pkg-plist
View file

@ -1,8 +1,9 @@
bin/yices_main bin/yices
bin/yices_sat bin/yices_sat
bin/yices_sat_new bin/yices_sat_new
bin/yices_smt bin/yices_smt
bin/yices_smt2 bin/yices_smt2
bin/yices_smt2_mt
bin/yices_smtcomp bin/yices_smtcomp
include/yices.h include/yices.h
include/yices_exit_codes.h include/yices_exit_codes.h