pkgsrc-ng/math/minisat/patches/patch-utils_System.cc
2014-08-11 13:27:10 +02:00

30 lines
830 B
C++

$NetBSD: patch-utils_System.cc,v 1.2 2014/01/09 14:38:33 jperkin Exp $
Support NetBSD.
--- utils/System.cc.orig 2010-07-10 16:07:36.000000000 +0000
+++ utils/System.cc
@@ -72,13 +72,13 @@ double Minisat::memUsedPeak() {
double peak = memReadPeak() / 1024;
return peak == 0 ? memUsed() : peak; }
-#elif defined(__FreeBSD__)
+#elif defined(__NetBSD__) || defined(__FreeBSD__)
double Minisat::memUsed(void) {
struct rusage ru;
getrusage(RUSAGE_SELF, &ru);
return (double)ru.ru_maxrss / 1024; }
-double MiniSat::memUsedPeak(void) { return memUsed(); }
+double Minisat::memUsedPeak(void) { return memUsed(); }
#elif defined(__APPLE__)
@@ -92,4 +92,6 @@ double Minisat::memUsed(void) {
#else
double Minisat::memUsed() {
return 0; }
+double Minisat::memUsedPeak() {
+ return 0; }
#endif