Page MenuHomeFreeBSD
Files F166870433

D16286.id45381.diff
No OneTemporary
Actions

D16286.id45381.diff
View Options

Index: math/stp/Makefile
===================================================================
--- math/stp/Makefile
+++ math/stp/Makefile
@@ -2,24 +2,22 @@
# $FreeBSD$
PORTNAME= stp
-PORTVERSION= 1436
-PORTREVISION= 8
+DISTVERSION= 2.3.1
+PORTEPOCH= 1
CATEGORIES= math
-MASTER_SITES= http://intara.arrowdodger.ru/
-MAINTAINER= 6yearold@gmail.com
+MAINTAINER= arrowd@FreeBSD.org
COMMENT= Decision Procedure for Bitvectors and Arrays
LICENSE= MIT
-
-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()
+LICENSE_FILE= ${WRKSRC}/LICENSE
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \
- libboost_system.so:devel/boost-libs
+ libminisat.so:math/minisat \
+ libcryptominisat5.so:math/cryptominisat
-USES= bison:build cmake:noninja perl5 tar:xz
+USES= bison:build cmake perl5 python
+USE_GITHUB= yes
USE_PERL5= build
-CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a
.include <bsd.port.mk>
Index: math/stp/distinfo
===================================================================
--- math/stp/distinfo
+++ math/stp/distinfo
@@ -1,2 +1,3 @@
-SHA256 (stp-1436.tar.xz) = 511b3f8c9e6103410e3ce2fe552dec4177fcae198e78be81a3c298328f778075
-SIZE (stp-1436.tar.xz) = 2964512
+TIMESTAMP = 1531729804
+SHA256 (stp-stp-2.3.1_GH0.tar.gz) = d5d4fcc76626eb25adbc06ad0da2811efcfb5d2a368726535bbfcb914d6588ce
+SIZE (stp-stp-2.3.1_GH0.tar.gz) = 2556392
Index: math/stp/pkg-plist
===================================================================
--- math/stp/pkg-plist
+++ math/stp/pkg-plist
@@ -1,7 +1,13 @@
bin/stp
+bin/stp-2.1.2
+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
+%%PYTHON_SITELIBDIR%%/stp/__init__.py
+%%PYTHON_SITELIBDIR%%/stp/library_path.py
+%%PYTHON_SITELIBDIR%%/stp/stp.py

File Metadata

Mime Type
text/plain
Expires
Tue, Aug 18, 8:50 AM (15 h, 27 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
36888694
Default Alt Text
D16286.id45381.diff (2 KB)

Event Timeline