diff --git a/math/picosat/Makefile b/math/picosat/Makefile
index a5b862479dfd..61abdac24c27 100644
--- a/math/picosat/Makefile
+++ b/math/picosat/Makefile
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	picosat
-DISTVERSION=	957
+DISTVERSION=	965
 CATEGORIES=	math
 MASTER_SITES=	http://fmv.jku.at/picosat/
 
@@ -12,9 +12,16 @@ 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
 
diff --git a/math/picosat/distinfo b/math/picosat/distinfo
index cfa08da26d36..54a18de92c12 100644
--- a/math/picosat/distinfo
+++ b/math/picosat/distinfo
@@ -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