From owner-svn-ports-all@freebsd.org Mon Jun 27 14:00:36 2016 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 49B28B73FFF; Mon, 27 Jun 2016 14:00:36 +0000 (UTC) (envelope-from koobs.freebsd@gmail.com) Received: from mail-pa0-x232.google.com (mail-pa0-x232.google.com [IPv6:2607:f8b0:400e:c03::232]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 1DE7E273E; Mon, 27 Jun 2016 14:00:33 +0000 (UTC) (envelope-from koobs.freebsd@gmail.com) Received: by mail-pa0-x232.google.com with SMTP id bz2so59476862pad.1; Mon, 27 Jun 2016 07:00:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:subject:to:references:from:cc:message-id:date:user-agent :mime-version:in-reply-to:content-transfer-encoding; bh=qvjas89W7/S5GBNFNtt6mOSTKRELRscZSlp/Lju4iao=; b=ibmb5jZRvXW0DNY/tRCr+/WA8N+55GWbqQniG5Qocn+m5yHUC/HPXKAX9A4ylcVfEE R/VVPrWB4xA/ycYMsVksR3qiEjwNuL8o1DlSiu/BR8F/w/UTjoiAuAFcYY19zp98Jn7w honYli7XYtN3WRNjPvHgEqb/6XciFG3FAcccSl8cP2rGdW9+LQeEM1TGwsKw/S0tbmqa KIaGdwyRt58hxCAisHIZGeLkJnAtRMYo9tPEOWiH/wiZ0xlMFe5A2oZZKQ8MxEsbKA9o l5jXE6PO22/zDyGel27M6wxPWyauMQeP7n9HqyEKlVLVWf+TVW9FDd8RYfP7hqP4l2cf qAzA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:subject:to:references:from:cc:message-id :date:user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=qvjas89W7/S5GBNFNtt6mOSTKRELRscZSlp/Lju4iao=; b=PV2eQxfce7O9Cko6Kx3b2SEUvIyTwD+IzflGGvcNnmHSdBDHKPF16p4ai+n3DGv22t ecBYtN/k+DBEPMfRPSqFxMid3vc3qV9qt66EFO3ojV7WNLDJISadC5iAH061x4oTtfFk M1zTDDeu2sBz3fsXYLVaZlGFgc5qxRytawwzErljalMlzg2BxldZjbhVrJmxVxLESefF VkgLS1/szvdCJKfWx+eG60/5XeSvurK4qESM2d5PTMzYl7ydF+kuSIawTY4Qwymk80ME BnIUVWlZezpXEDCqfrVB4S8GFC8Ry8ETgernw49eD+22PLPlxvG/jozhLJtQm1tsxTOG v7gQ== X-Gm-Message-State: ALyK8tJHVbXIqjWtAqVTpiOTKJ8fOdDbU5L1VcZrzu4JX5j4a9HRPqRdcY75biLiCOtu6w== X-Received: by 10.66.97.5 with SMTP id dw5mr34195647pab.52.1467036032465; Mon, 27 Jun 2016 07:00:32 -0700 (PDT) Received: from ?IPv6:2001:44b8:31ae:7b01:6866:ec26:8c89:33cf? (2001-44b8-31ae-7b01-6866-ec26-8c89-33cf.static.ipv6.internode.on.net. [2001:44b8:31ae:7b01:6866:ec26:8c89:33cf]) by smtp.gmail.com with ESMTPSA id p187sm7317180pfg.67.2016.06.27.07.00.30 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 27 Jun 2016 07:00:32 -0700 (PDT) Sender: Kubilay Kocak Subject: Re: svn commit: r417659 - head/math/picosat To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org References: <201606271341.u5RDfInA038711@repo.freebsd.org> From: Kubilay Kocak Cc: svnadm@freebsd.org Message-ID: Date: Tue, 28 Jun 2016 00:00:26 +1000 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:47.0) Gecko/20100101 Thunderbird/47.0 MIME-Version: 1.0 In-Reply-To: <201606271341.u5RDfInA038711@repo.freebsd.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Jun 2016 14:00:36 -0000 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 >