FreeBSD Bugzilla – Attachment 195383 Details for
Bug 229974
math/stp: Update to 2.3.1
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
Updated patch
stp.patch (text/plain), 2.32 KB, created by
Yuri Victorovich
on 2018-07-23 03:42:07 UTC
(
hide
)
Description:
Updated patch
Filename:
MIME Type:
Creator:
Yuri Victorovich
Created:
2018-07-23 03:42:07 UTC
Size:
2.32 KB
patch
obsolete
>Index: math/stp/Makefile >=================================================================== >--- math/stp/Makefile (revision 475137) >+++ math/stp/Makefile (working copy) >@@ -2,24 +2,35 @@ > # $FreeBSD$ > > PORTNAME= stp >-PORTVERSION= 1436 >-PORTREVISION= 8 >+DISTVERSION= 2.3.1-92 >+DISTVERSIONSUFFIX= -gc68788eb >+PORTEPOCH= 1 > CATEGORIES= math >-MASTER_SITES= http://intara.arrowdodger.ru/ > > MAINTAINER= 6yearold@gmail.com > COMMENT= Decision Procedure for Bitvectors and Arrays > > LICENSE= MIT >+LICENSE_FILES= ${WRKSRC}/LICENSE > > BROKEN_aarch64= fails to compile: undefined reference to sbrk > BROKEN_powerpc64= fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name() > > LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ >- libboost_system.so:devel/boost-libs >+ libboost_system.so:devel/boost-libs \ >+ libcryptominisat5.so:math/cryptominisat >+BUILD_DEPENDS= minisat:math/minisat >+RUN_DEPENDS= minisat:math/minisat > >-USES= bison:build cmake:noninja perl5 tar:xz >+USES= bison:build cmake:outsource perl5 shebangfix >+USE_GITHUB= yes >+SHEBANG_GLOB= *.pl > USE_PERL5= build >-CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a >+USE_LDCONFIG= yes > >+CMAKE_ON= BUILD_SHARED_LIBS >+CMAKE_OFF= ENABLE_PYTHON_INTERFACE >+ >+post-install: >+ @${MV} ${STAGEDIR}${PREFIX}/bin/stp-2.1.2 ${STAGEDIR}${PREFIX}/bin/stp > .include <bsd.port.mk> >Index: math/stp/distinfo >=================================================================== >--- math/stp/distinfo (revision 475137) >+++ math/stp/distinfo (working copy) >@@ -1,2 +1,3 @@ >-SHA256 (stp-1436.tar.xz) = 511b3f8c9e6103410e3ce2fe552dec4177fcae198e78be81a3c298328f778075 >-SIZE (stp-1436.tar.xz) = 2964512 >+TIMESTAMP = 1532316606 >+SHA256 (stp-stp-2.3.1-92-gc68788eb_GH0.tar.gz) = 0ffad98c1904622606a39035a1423260e957115a769286217f0199da0c1e2c40 >+SIZE (stp-stp-2.3.1-92-gc68788eb_GH0.tar.gz) = 2573999 >Index: math/stp/pkg-plist >=================================================================== >--- math/stp/pkg-plist (revision 475137) >+++ math/stp/pkg-plist (working copy) >@@ -1,7 +1,9 @@ > bin/stp >+bin/stp_simple > include/stp/c_interface.h >-include/stp/cpp_interface.h > lib/cmake/STP/STPConfig.cmake >+lib/cmake/STP/STPConfigVersion.cmake > lib/cmake/STP/STPTargets-%%CMAKE_BUILD_TYPE%%.cmake > lib/cmake/STP/STPTargets.cmake >-lib/libstp.a >+lib/libstp.so >+lib/libstp.so.2.1
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 229974
:
195382
| 195383