27 lines
812 B
Diff
27 lines
812 B
Diff
|
https://github.com/fasterthanlime/homebrew-mingw/blob/master/Library/Formula/minisat.rb
|
||
|
|
|
||
|
|
diff --git a/utils/System.cc b/utils/System.cc
|
||
|
|
index a7cf53f..feeaf3c 100644
|
||
|
|
--- a/utils/System.cc
|
||
|
|
+++ b/utils/System.cc
|
||
|
|
@@ -78,16 +78,17 @@ 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__)
|
||
|
|
#include <malloc/malloc.h>
|
||
|
|
|
||
|
|
-double Minisat::memUsed(void) {
|
||
|
|
+double Minisat::memUsed() {
|
||
|
|
malloc_statistics_t t;
|
||
|
|
malloc_zone_statistics(NULL, &t);
|
||
|
|
return (double)t.max_size_in_use / (1024*1024); }
|
||
|
|
+double Minisat::memUsedPeak() { return memUsed(); }
|
||
|
|
|
||
|
|
#else
|
||
|
|
double Minisat::memUsed() {
|