Index: head/math/picosat/Makefile
===================================================================
--- head/math/picosat/Makefile	(revision 417658)
+++ head/math/picosat/Makefile	(revision 417659)
@@ -1,30 +1,37 @@
 # Created by: Kubilay Kocak <koobs@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	picosat
-DISTVERSION=	957
+DISTVERSION=	965
 CATEGORIES=	math
 MASTER_SITES=	http://fmv.jku.at/picosat/
 
 MAINTAINER=	koobs@FreeBSD.org
 COMMENT=	Satisfiability (SAT) solver for boolean variables
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
-USE_LDCONFIG=		yes
+OPTIONS_DEFINE=	DEBUG
+
+DEBUG_CONFIGURE_ON=	--debug --log
+
+USE_LDCONFIG=	yes
+
 HAS_CONFIGURE=		yes
-CONFIGURE_ARGS=		--shared --trace --stats
+CONFIGURE_ARGS=		--shared --static
+CONFIGURE_SCRIPT=	configure.sh
+
 MAKEFILE=		makefile
 MAKE_JOBS_UNSAFE=	yes
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/picosat ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/picomcs ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/picomus ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/picogcnf ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_LIB} ${WRKSRC}/libpicosat.so ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/libpicosat.a ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/picosat.h ${STAGEDIR}${PREFIX}/include
 
 .include <bsd.port.mk>
Index: head/math/picosat/distinfo
===================================================================
--- head/math/picosat/distinfo	(revision 417658)
+++ head/math/picosat/distinfo	(revision 417659)
@@ -1,2 +1,3 @@
-SHA256 (picosat-957.tar.gz) = 7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822
-SIZE (picosat-957.tar.gz) = 63329
+TIMESTAMP = 1467032430
+SHA256 (picosat-965.tar.gz) = 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
+SIZE (picosat-965.tar.gz) = 64386