svn commit: r417659 - head/math/picosat

[Kubilay Kocak]

Author: koobs
Date: Mon Jun 27 13:41:17 2016
New Revision: 417659
URL: https://svnweb.freebsd.org/changeset/ports/417659

Log:
  math/picosat: Update to 965
  
  * Update DISTVERSION and distinfo checksum (965)
  * Add CONFIGURE_SCRIPT (filename change to .sh extension)
  * Add DEBUG option
  * Use --trace, --stats (and --logs) with DEBUG, rather than in the
    default (non-debug) build.
  * Specify --static explicitly even though its built to avoid possible
    future footshooting.
  
  
    http://fmv.jku.at/picosat/NEWS

Modified:
  head/math/picosat/Makefile
  head/math/picosat/distinfo

Modified: head/math/picosat/Makefile
==============================================================================
--- head/math/picosat/Makefile	Mon Jun 27 13:26:17 2016	(r417658)
+++ head/math/picosat/Makefile	Mon Jun 27 13:41:17 2016	(r417659)
@@ -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
 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
 

Modified: head/math/picosat/distinfo
==============================================================================
--- head/math/picosat/distinfo	Mon Jun 27 13:26:17 2016	(r417658)
+++ head/math/picosat/distinfo	Mon Jun 27 13:41:17 2016	(r417659)
@@ -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