svn commit: r417659 - head/math/picosat
Kubilay Kocak
koobs at FreeBSD.org
Mon Jun 27 14:00:36 UTC 2016
On 27/06/2016 11:41 PM, Kubilay Kocak wrote:
> 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.
>
Changes:
> http://fmv.jku.at/picosat/NEWS
>
The line above ("Changes:") appears to have been stripped by the new
updated SVN log-police.py commit hook, which appears not to only match
the last paragraph as it purports [[1]
[1]
https://svnweb.freebsd.org/ports/svnadmin/hooks/scripts/log-police.py?annotate=416920&pathrev=416920#l46
Just a heads up for other people who use "Changes:" to reference release
notes/urls in commit messages, until it's fixed.
> 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
>
More information about the svn-ports-head
mailing list