svn commit: r459914 - in head/math/minisat: . files
Vsevolod Stakhov
vsevolod at FreeBSD.org
Thu Jan 25 09:04:33 UTC 2018
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);
+ }
More information about the svn-ports-all
mailing list