diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-02-03 20:59:14 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-02-03 20:59:14 +0000 |
| commit | eb924c41bc15bbefabaf34d0760963c79e883599 (patch) | |
| tree | cd1f7eaaa6fce7093da452dc2d53e8a093f5d406 /math/glucose/files/patch-utils_System.cc | |
| parent | New port: cad/py-pyfda: GUI tool for designing and analysing discrete time fi... (diff) | |
New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
See the full description here:
http://www.labri.fr/perso/lsimon/glucose/
Patches and build warnings were reported to the authors.
Submitted by: myself
Approved by: adamw (mentor)
Differential Revision: https://reviews.freebsd.org/D14156
Notes
Notes:
svn path=/head/; revision=460848
Diffstat (limited to 'math/glucose/files/patch-utils_System.cc')
| -rw-r--r-- | math/glucose/files/patch-utils_System.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/glucose/files/patch-utils_System.cc b/math/glucose/files/patch-utils_System.cc new file mode 100644 index 000000000000..3a4d189a61f7 --- /dev/null +++ b/math/glucose/files/patch-utils_System.cc @@ -0,0 +1,11 @@ +--- utils/System.cc.orig 2018-02-01 09:11:32 UTC ++++ utils/System.cc +@@ -78,7 +78,7 @@ double Glucose::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__) |