diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-26 23:10:09 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-26 23:10:09 +0000 |
| commit | 060bc1595ba9c7cbed12d5a5529bd4caae9668fe (patch) | |
| tree | 186e43bd3eab6ad169664ada91291877f75383ae /math/minisat | |
| parent | 59b52f73efd4b725454bfb7545668b65a00ef7a1 (diff) | |
| download | ports-060bc1595ba9c7cbed12d5a5529bd4caae9668fe.tar.gz ports-060bc1595ba9c7cbed12d5a5529bd4caae9668fe.zip | |
Notes
Diffstat (limited to 'math/minisat')
| -rw-r--r-- | math/minisat/Makefile | 10 | ||||
| -rw-r--r-- | math/minisat/files/patch-minisat_core_SolverTypes.h (renamed from math/minisat/files/patch-minisat-core-SolverTypes.h) | 8 | ||||
| -rw-r--r-- | math/minisat/files/patch-minisat_utils_Options.h | 21 | ||||
| -rw-r--r-- | math/minisat/pkg-plist | 29 |
4 files changed, 48 insertions, 20 deletions
diff --git a/math/minisat/Makefile b/math/minisat/Makefile index 83c168cc7d10..5235a76da5f6 100644 --- a/math/minisat/Makefile +++ b/math/minisat/Makefile @@ -3,14 +3,22 @@ PORTNAME= minisat PORTVERSION= 2.2.1 +PORTREVISION= 1 CATEGORIES= math devel MASTER_SITES= http://highsecure.ru/distfiles/ MAINTAINER= vsevolod@FreeBSD.org COMMENT= Minimalistic, open-source SAT solver -USES= gmake +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE + +USES= gmake USE_LDCONFIG= yes MAKE_ENV= prefix=${PREFIX} CFLAGS="-std=c++03" +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} \ + ${STAGEDIR}${PREFIX}/lib/libminisat.so + .include <bsd.port.mk> diff --git a/math/minisat/files/patch-minisat-core-SolverTypes.h b/math/minisat/files/patch-minisat_core_SolverTypes.h index 0d310cee3069..99345646560a 100644 --- a/math/minisat/files/patch-minisat-core-SolverTypes.h +++ b/math/minisat/files/patch-minisat_core_SolverTypes.h @@ -1,6 +1,6 @@ ---- minisat/core/SolverTypes.h.orig 2014-03-31 11:50:09.479636337 +0100 -+++ minisat/core/SolverTypes.h 2014-03-31 11:50:32.079953517 +0100 -@@ -52,7 +52,7 @@ +--- minisat/core/SolverTypes.h.orig 2012-11-19 13:50:09 UTC ++++ minisat/core/SolverTypes.h +@@ -52,7 +52,7 @@ struct Lit { int x; // Use this as a constructor: @@ -9,7 +9,7 @@ bool operator == (Lit p) const { return x == p.x; } bool operator != (Lit p) const { return x != p.x; } -@@ -60,7 +60,7 @@ +@@ -60,7 +60,7 @@ struct Lit { }; diff --git a/math/minisat/files/patch-minisat_utils_Options.h b/math/minisat/files/patch-minisat_utils_Options.h new file mode 100644 index 000000000000..a1e8f48853a7 --- /dev/null +++ b/math/minisat/files/patch-minisat_utils_Options.h @@ -0,0 +1,21 @@ +--- minisat/utils/Options.h.orig 2012-11-19 13:50:09 UTC ++++ minisat/utils/Options.h +@@ -282,15 +282,15 @@ class Int64Option : public Option + if (range.begin == INT64_MIN) + fprintf(stderr, "imin"); + else +- fprintf(stderr, "%4"PRIi64, range.begin); ++ fprintf(stderr, "%4" PRIi64, range.begin); + + fprintf(stderr, " .. "); + if (range.end == INT64_MAX) + fprintf(stderr, "imax"); + else +- fprintf(stderr, "%4"PRIi64, range.end); ++ fprintf(stderr, "%4" PRIi64, range.end); + +- fprintf(stderr, "] (default: %"PRIi64")\n", value); ++ fprintf(stderr, "] (default: %" PRIi64")\n", value); + if (verbose){ + fprintf(stderr, "\n %s\n", description); + fprintf(stderr, "\n"); diff --git a/math/minisat/pkg-plist b/math/minisat/pkg-plist index d9c98bcc1da6..94d7519a32d6 100644 --- a/math/minisat/pkg-plist +++ b/math/minisat/pkg-plist @@ -1,24 +1,23 @@ - bin/minisat -include/minisat/mtl/XAlloc.h -include/minisat/mtl/Heap.h -include/minisat/mtl/IntTypes.h -include/minisat/mtl/IntMap.h -include/minisat/mtl/Sort.h -include/minisat/mtl/Rnd.h +include/minisat/core/Dimacs.h +include/minisat/core/Solver.h +include/minisat/core/SolverTypes.h include/minisat/mtl/Alg.h -include/minisat/mtl/Vec.h include/minisat/mtl/Alloc.h +include/minisat/mtl/Heap.h +include/minisat/mtl/IntMap.h +include/minisat/mtl/IntTypes.h include/minisat/mtl/Map.h include/minisat/mtl/Queue.h +include/minisat/mtl/Rnd.h +include/minisat/mtl/Sort.h +include/minisat/mtl/Vec.h +include/minisat/mtl/XAlloc.h +include/minisat/simp/SimpSolver.h include/minisat/utils/Options.h include/minisat/utils/ParseUtils.h include/minisat/utils/System.h -include/minisat/core/Solver.h -include/minisat/core/Dimacs.h -include/minisat/core/SolverTypes.h -include/minisat/simp/SimpSolver.h -lib/libminisat.so.2.1.0 -lib/libminisat.so.2 -lib/libminisat.so lib/libminisat.a +lib/libminisat.so +lib/libminisat.so.2 +lib/libminisat.so.2.1.0 |