[pkgsrc/trunk]: pkgsrc/math/minisat Import MiniSat version 2.2.0 as math/mini...

[asau <asau%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/8a8d724eeed4
branches:  trunk
changeset: 625935:8a8d724eeed4
user:      asau <asau%pkgsrc.org@localhost>
date:      Mon Oct 28 04:15:11 2013 +0000

description:
Import MiniSat version 2.2.0 as math/minisat.

MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.

diffstat:

 math/minisat/DESCR                         |   2 ++
 math/minisat/Makefile                      |  26 ++++++++++++++++++++++++++
 math/minisat/PLIST                         |   2 ++
 math/minisat/distinfo                      |   6 ++++++
 math/minisat/patches/patch-utils_System.cc |  22 ++++++++++++++++++++++
 5 files changed, 58 insertions(+), 0 deletions(-)

diffs (78 lines):

diff -r 9e0e5b1ce8fa -r 8a8d724eeed4 math/minisat/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/minisat/DESCR        Mon Oct 28 04:15:11 2013 +0000
@@ -0,0 +1,2 @@
+MiniSat is a minimalistic, industrial strength, open-source SAT solver,
+developed to help researchers and developers alike to get started on SAT.
diff -r 9e0e5b1ce8fa -r 8a8d724eeed4 math/minisat/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/minisat/Makefile     Mon Oct 28 04:15:11 2013 +0000
@@ -0,0 +1,26 @@
+# $NetBSD: Makefile,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $
+
+DISTNAME=      minisat-2.2.0
+CATEGORIES=    math
+MASTER_SITES=  http://minisat.se/downloads/
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      http://minisat.se/
+COMMENT=       Minimalistic yet highly efficient SAT solver
+LICENSE=       mit
+
+WRKSRC=                $(WRKDIR)/minisat
+USE_LANGUAGES= c++
+USE_TOOLS+=    gmake
+#BUILD_DIRS=   core simp
+BUILD_DIRS=    simp
+MAKE_ENV=      MROOT=$(WRKSRC)
+BUILD_TARGET=  # empty
+
+INSTALLATION_DIRS+=    bin
+
+do-install:
+       $(INSTALL_PROGRAM) $(WRKSRC)/simp/minisat \
+               $(DESTDIR)$(PREFIX)/bin/minisat
+
+.include "../../mk/bsd.pkg.mk"
diff -r 9e0e5b1ce8fa -r 8a8d724eeed4 math/minisat/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/minisat/PLIST        Mon Oct 28 04:15:11 2013 +0000
@@ -0,0 +1,2 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $
+bin/minisat
diff -r 9e0e5b1ce8fa -r 8a8d724eeed4 math/minisat/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/minisat/distinfo     Mon Oct 28 04:15:11 2013 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $
+
+SHA1 (minisat-2.2.0.tar.gz) = dfc25898bf40e00cf04252a42176e0c0600fbc90
+RMD160 (minisat-2.2.0.tar.gz) = 169ec9116befa9067db9076d26309f7e9ab408dd
+Size (minisat-2.2.0.tar.gz) = 43879 bytes
+SHA1 (patch-utils_System.cc) = 74c1af06a8a8c6f0ec85fc55cfb3d7060ee9a141
diff -r 9e0e5b1ce8fa -r 8a8d724eeed4 math/minisat/patches/patch-utils_System.cc
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/minisat/patches/patch-utils_System.cc        Mon Oct 28 04:15:11 2013 +0000
@@ -0,0 +1,22 @@
+$NetBSD: patch-utils_System.cc,v 1.1.1.1 2013/10/28 04:15:11 asau 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__)