diff options
| author | asau <asau> | 2013-10-28 04:15:11 +0000 |
|---|---|---|
| committer | asau <asau> | 2013-10-28 04:15:11 +0000 |
| commit | fdd7c3ce73c46dab2c320f7809a2c6423d98556f (patch) | |
| tree | df47bf8626480c23338e801c372c8a2999920502 /math | |
| parent | 438dc2fdf012c773fa0fdf90a5c5ad1e92df2662 (diff) | |
| download | pkgsrc-fdd7c3ce73c46dab2c320f7809a2c6423d98556f.tar.gz | |
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 (limited to 'math')
| -rw-r--r-- | math/minisat/DESCR | 2 | ||||
| -rw-r--r-- | math/minisat/Makefile | 26 | ||||
| -rw-r--r-- | math/minisat/PLIST | 2 | ||||
| -rw-r--r-- | math/minisat/distinfo | 6 | ||||
| -rw-r--r-- | math/minisat/patches/patch-utils_System.cc | 22 |
5 files changed, 58 insertions, 0 deletions
diff --git a/math/minisat/DESCR b/math/minisat/DESCR new file mode 100644 index 00000000000..df80bbabb5e --- /dev/null +++ b/math/minisat/DESCR @@ -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 --git a/math/minisat/Makefile b/math/minisat/Makefile new file mode 100644 index 00000000000..84f6632b714 --- /dev/null +++ b/math/minisat/Makefile @@ -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 +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 --git a/math/minisat/PLIST b/math/minisat/PLIST new file mode 100644 index 00000000000..e01a271d959 --- /dev/null +++ b/math/minisat/PLIST @@ -0,0 +1,2 @@ +@comment $NetBSD: PLIST,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $ +bin/minisat diff --git a/math/minisat/distinfo b/math/minisat/distinfo new file mode 100644 index 00000000000..9a46548d7bc --- /dev/null +++ b/math/minisat/distinfo @@ -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 --git a/math/minisat/patches/patch-utils_System.cc b/math/minisat/patches/patch-utils_System.cc new file mode 100644 index 00000000000..61385d45ef7 --- /dev/null +++ b/math/minisat/patches/patch-utils_System.cc @@ -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__) |