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