diff options
| author | vsevolod <vsevolod@FreeBSD.org> | 2018-01-25 17:04:31 +0800 |
|---|---|---|
| committer | vsevolod <vsevolod@FreeBSD.org> | 2018-01-25 17:04:31 +0800 |
| commit | 38daea5ade24e85f8fa7dd27fda92a61a1b73f13 (patch) | |
| tree | 005720b5979a2435233a58c1652205958e16fdb4 | |
| parent | d4d494f31dbe4f1e4fb76924802cedf7a51bd037 (diff) | |
| download | freebsd-ports-gnome-38daea5ade24e85f8fa7dd27fda92a61a1b73f13.tar.gz freebsd-ports-gnome-38daea5ade24e85f8fa7dd27fda92a61a1b73f13.tar.zst freebsd-ports-gnome-38daea5ade24e85f8fa7dd27fda92a61a1b73f13.zip | |
- Fix build with clang 6
| -rw-r--r-- | math/minisat/Makefile | 2 | ||||
| -rw-r--r-- | math/minisat/files/patch-minisat_core_Solver.cc | 19 |
2 files changed, 20 insertions, 1 deletions
diff --git a/math/minisat/Makefile b/math/minisat/Makefile index 5235a76da5f6..1b4b4377320a 100644 --- a/math/minisat/Makefile +++ b/math/minisat/Makefile @@ -3,7 +3,7 @@ PORTNAME= minisat PORTVERSION= 2.2.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math devel MASTER_SITES= http://highsecure.ru/distfiles/ diff --git a/math/minisat/files/patch-minisat_core_Solver.cc b/math/minisat/files/patch-minisat_core_Solver.cc new file mode 100644 index 000000000000..6821384a283b --- /dev/null +++ b/math/minisat/files/patch-minisat_core_Solver.cc @@ -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); + } |