require 'formula' class Minisat < Formula homepage 'http://minisat.se' url 'https://github.com/niklasso/minisat/tarball/releases/2.2.0' md5 '2274977506042714811968afca01b68d' # Fixes compilation on mac; in next upstream release. See: # http://groups.google.com/group/minisat/browse_thread/thread/f5b6a180cadbb214 def patches DATA end def install ENV['MROOT'] = Dir.pwd Dir.chdir 'simp' system "make", "r" bin.install 'minisat_release' => 'minisat' end end __END__ 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 -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() {