From owner-svn-ports-all@freebsd.org Thu Jan 25 09:04:32 2018 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id C041DECB0B2; Thu, 25 Jan 2018 09:04:32 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 716D272D56; Thu, 25 Jan 2018 09:04:32 +0000 (UTC) (envelope-from vsevolod@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 mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 66F9327DF; Thu, 25 Jan 2018 09:04:32 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w0P94WX8021995; Thu, 25 Jan 2018 09:04:32 GMT (envelope-from vsevolod@FreeBSD.org) Received: (from vsevolod@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w0P94WhS021993; Thu, 25 Jan 2018 09:04:32 GMT (envelope-from vsevolod@FreeBSD.org) Message-Id: <201801250904.w0P94WhS021993@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: vsevolod set sender to vsevolod@FreeBSD.org using -f From: Vsevolod Stakhov Date: Thu, 25 Jan 2018 09:04:32 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r459914 - in head/math/minisat: . files X-SVN-Group: ports-head X-SVN-Commit-Author: vsevolod X-SVN-Commit-Paths: in head/math/minisat: . files X-SVN-Commit-Revision: 459914 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.25 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: Thu, 25 Jan 2018 09:04:33 -0000 Author: vsevolod Date: Thu Jan 25 09:04:31 2018 New Revision: 459914 URL: https://svnweb.freebsd.org/changeset/ports/459914 Log: - Fix build with clang 6 Added: head/math/minisat/files/patch-minisat_core_Solver.cc (contents, props changed) Modified: head/math/minisat/Makefile Modified: head/math/minisat/Makefile ============================================================================== --- head/math/minisat/Makefile Thu Jan 25 09:02:09 2018 (r459913) +++ head/math/minisat/Makefile Thu Jan 25 09:04:31 2018 (r459914) @@ -3,7 +3,7 @@ PORTNAME= minisat PORTVERSION= 2.2.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math devel MASTER_SITES= http://highsecure.ru/distfiles/ Added: head/math/minisat/files/patch-minisat_core_Solver.cc ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/minisat/files/patch-minisat_core_Solver.cc Thu Jan 25 09:04:31 2018 (r459914) @@ -0,0 +1,19 @@ +--- minisat/core/Solver.cc.orig 2018-01-25 10:02:23.823406000 +0100 ++++ minisat/core/Solver.cc 2018-01-25 10:02:40.248326000 +0100 +@@ -992,11 +992,11 @@ + { + double cpu_time = cpuTime(); + double mem_used = memUsedPeak(); +- printf("restarts : %"PRIu64"\n", starts); +- printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", conflicts , conflicts /cpu_time); +- printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time); +- printf("propagations : %-12"PRIu64" (%.0f /sec)\n", propagations, propagations/cpu_time); +- printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals); ++ printf("restarts : %" PRIu64"\n", starts); ++ printf("conflicts : %-12" PRIu64" (%.0f /sec)\n", conflicts , conflicts /cpu_time); ++ printf("decisions : %-12" PRIu64" (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time); ++ printf("propagations : %-12" PRIu64" (%.0f /sec)\n", propagations, propagations/cpu_time); ++ printf("conflict literals : %-12" PRIu64" (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals); + if (mem_used != 0) printf("Memory used : %.2f MB\n", mem_used); + printf("CPU time : %g s\n", cpu_time); + }