From owner-svn-ports-head@freebsd.org Mon Jun 27 13:41:19 2016 Return-Path: Delivered-To: svn-ports-head@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 3DF8BB73798; Mon, 27 Jun 2016 13:41:19 +0000 (UTC) (envelope-from koobs@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id E8FA02C49; Mon, 27 Jun 2016 13:41:18 +0000 (UTC) (envelope-from koobs@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id u5RDfIxb038713; Mon, 27 Jun 2016 13:41:18 GMT (envelope-from koobs@FreeBSD.org) Received: (from koobs@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id u5RDfInA038711; Mon, 27 Jun 2016 13:41:18 GMT (envelope-from koobs@FreeBSD.org) Message-Id: <201606271341.u5RDfInA038711@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: koobs set sender to koobs@FreeBSD.org using -f From: Kubilay Kocak Date: Mon, 27 Jun 2016 13:41:18 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r417659 - head/math/picosat X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.22 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Jun 2016 13:41:19 -0000 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