Date: Thu, 25 Jan 2018 09:04:32 +0000 (UTC) From: Vsevolod Stakhov <vsevolod@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r459914 - in head/math/minisat: . files Message-ID: <201801250904.w0P94WhS021993@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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); + }
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201801250904.w0P94WhS021993>