Date: Tue, 28 Jun 2016 00:00:26 +1000 From: Kubilay Kocak <koobs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Cc: svnadm@freebsd.org Subject: Re: svn commit: r417659 - head/math/picosat Message-ID: <fd240fdc-1c22-3dba-90c4-d54db40d80ed@FreeBSD.org> In-Reply-To: <201606271341.u5RDfInA038711@repo.freebsd.org> References: <201606271341.u5RDfInA038711@repo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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 >
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?fd240fdc-1c22-3dba-90c4-d54db40d80ed>