Updated and added previous version and missing patch (doh!)

Package-Manager: portage-2.1.9.46/cvs/Linux x86_64

5 files changed, 281 insertions, 5 deletions

diff --git a/sci-mathematics/minisat/ChangeLog b/sci-mathematics/minisat/ChangeLog
index 662aa5b0c676..4c886a799522 100644
--- a/sci-mathematics/minisat/ChangeLog
+++ b/sci-mathematics/minisat/ChangeLog
@@ -1,6 +1,14 @@
 # ChangeLog for sci-mathematics/minisat
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.5 2011/04/16 21:43:53 nerdboy Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.6 2011/04/17 22:54:19 nerdboy Exp $
+
+*minisat-2.1.0 (17 Apr 2011)
+
+  17 Apr 2011; Steve Arnold <nerdboy@gentoo.org> +minisat-2.1.0.ebuild,
+  minisat-2.2.0-r3.ebuild, +files/minisat-2.2.0-header_fix.patch:
+  Updated and added previous version and missing patch (doh!). The
+  slightly older minisat2 is required for other tools, but is not fully
+  compatible with the 2.2 release.
 
 *minisat-2.2.0-r3 (16 Apr 2011)
 
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest
index b137a33fff0a..72a73738b36a 100644
--- a/sci-mathematics/minisat/Manifest
+++ b/sci-mathematics/minisat/Manifest
@@ -1,5 +1,8 @@
+AUX minisat-2.2.0-header_fix.patch 3879 RMD160 f2df0189d8116c9ee7bc2a4d7640d4f7faf136b8 SHA1 ec90558ece8fdccbe37f08675f31e19d449ddebe SHA256 edcfefe00d39997e5c553ad583aa432315425d321af9fb5a56c530862482a50e
 DIST MiniSat.pdf 327416 RMD160 3b611bf17b2419525303527f93ef06bb3bb9d93b SHA1 8c17a48b2a93780d56bc2a3da5ddf5b9fce3572a SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4
 DIST minisat-2.2.0.tar.gz 43879 RMD160 169ec9116befa9067db9076d26309f7e9ab408dd SHA1 dfc25898bf40e00cf04252a42176e0c0600fbc90 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
-EBUILD minisat-2.2.0-r3.ebuild 1836 RMD160 545803a90a4e379da8cadc58d43aa78b6abc5e59 SHA1 0b50ce0a7723c0f310a02224de656bfc94fee6b6 SHA256 74a46c456f7cefdce2aee37acf62ad3e39ed48d31ea3947232c220d335a7b253
-MISC ChangeLog 1459 RMD160 93de0f7528812e6ca61c959d386bde13e19d95e7 SHA1 eafdf35e3bae7f5a06acc034ef580ffb50333333 SHA256 8c18bfef71cd215bb9c2a83926a8e07e6bb62ecd540b1dd8e55de5c8fa646992
+DIST minisat2-070721.zip 48776 RMD160 a04236122afc4fba40b6e54da34b1b0d2ef4eda4 SHA1 cb4a58f8a8192a65b1b944c4307afdf029d51e1c SHA256 ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e
+EBUILD minisat-2.1.0.ebuild 2026 RMD160 f4ff962d5e44d495ec70ef6d8b0a9b55d8db12b6 SHA1 77ab1e0e518104f3eb6fdacb16d6cbfabf731fc3 SHA256 243fea1569070e812331a39c47df4c6a9511fc65d9855cc6066837247aad7d46
+EBUILD minisat-2.2.0-r3.ebuild 2124 RMD160 83b0961157c643c935f39facf54c0554550df9a8 SHA1 296e800dfe7b9e455661656daecf78b968c05590 SHA256 0806eeb391339af960dbfdac58341c43cc539918603938246c521463c297efb6
+MISC ChangeLog 1802 RMD160 a24ae5183aeb91d4b07fecacc8d561b71b4fb37d SHA1 e3e72705d4a0cf5169b1521f8e6b428bd2d095d4 SHA256 ea6e0118bf67ddee057b4d1e276838df218d6a56f57bd793440afd0be164fa0f
 MISC metadata.xml 330 RMD160 6e83685aa7b33c94cbf0ed0061eff516ee0541bd SHA1 9f4cb95419ec002bad3a371881805a974ba1039a SHA256 70118d36c9752da5de338182725e298062fec6056f02de207b023f0f109e2a3b
diff --git a/sci-mathematics/minisat/files/minisat-2.2.0-header_fix.patch b/sci-mathematics/minisat/files/minisat-2.2.0-header_fix.patch
new file mode 100644
index 000000000000..486c012fe2a4
--- /dev/null
+++ b/sci-mathematics/minisat/files/minisat-2.2.0-header_fix.patch
@@ -0,0 +1,160 @@
+--- ./utils/System.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./utils/System.h	2011-04-12 18:33:41.000000000 -0700
+@@ -25,7 +25,7 @@
+ #include <fpu_control.h>
+ #endif
+ 
+-#include "mtl/IntTypes.h"
++#include <mtl/IntTypes.h>
+ 
+ //-------------------------------------------------------------------------------------------------
+ 
+--- ./utils/Options.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./utils/Options.h	2011-04-12 18:34:38.000000000 -0700
+@@ -25,9 +25,9 @@
+ #include <math.h>
+ #include <string.h>
+ 
+-#include "mtl/IntTypes.h"
+-#include "mtl/Vec.h"
+-#include "utils/ParseUtils.h"
++#include <mtl/IntTypes.h>
++#include <mtl/Vec.h>
++#include "ParseUtils.h"
+ 
+ namespace Minisat {
+ 
+--- ./core/SolverTypes.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./core/SolverTypes.h	2011-04-12 18:27:58.000000000 -0700
+@@ -24,11 +24,11 @@
+ 
+ #include <assert.h>
+ 
+-#include "mtl/IntTypes.h"
+-#include "mtl/Alg.h"
+-#include "mtl/Vec.h"
+-#include "mtl/Map.h"
+-#include "mtl/Alloc.h"
++#include <mtl/IntTypes.h>
++#include <mtl/Alg.h>
++#include <mtl/Vec.h>
++#include <mtl/Map.h>
++#include <mtl/Alloc.h>
+ 
+ namespace Minisat {
+ 
+--- ./core/Solver.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./core/Solver.h	2011-04-12 18:26:56.000000000 -0700
+@@ -21,11 +21,11 @@
+ #ifndef Minisat_Solver_h
+ #define Minisat_Solver_h
+ 
+-#include "mtl/Vec.h"
+-#include "mtl/Heap.h"
+-#include "mtl/Alg.h"
+-#include "utils/Options.h"
+-#include "core/SolverTypes.h"
++#include <mtl/Vec.h>
++#include <mtl/Heap.h>
++#include <mtl/Alg.h>
++#include <utils/Options.h>
++#include "SolverTypes.h"
+ 
+ 
+ namespace Minisat {
+--- ./mtl/Vec.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Vec.h	2011-04-12 18:30:50.000000000 -0700
+@@ -24,8 +24,8 @@
+ #include <assert.h>
+ #include <new>
+ 
+-#include "mtl/IntTypes.h"
+-#include "mtl/XAlloc.h"
++#include "IntTypes.h"
++#include "XAlloc.h"
+ 
+ namespace Minisat {
+ 
+--- ./mtl/Sort.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Sort.h	2011-04-12 18:31:05.000000000 -0700
+@@ -21,7 +21,7 @@
+ #ifndef Minisat_Sort_h
+ #define Minisat_Sort_h
+ 
+-#include "mtl/Vec.h"
++#include "Vec.h"
+ 
+ //=================================================================================================
+ // Some sorting algorithms for vec's
+--- ./mtl/Alg.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Alg.h	2011-04-12 18:32:26.000000000 -0700
+@@ -21,7 +21,7 @@
+ #ifndef Minisat_Alg_h
+ #define Minisat_Alg_h
+ 
+-#include "mtl/Vec.h"
++#include "Vec.h"
+ 
+ namespace Minisat {
+ 
+--- ./mtl/Alloc.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Alloc.h	2011-04-12 18:32:18.000000000 -0700
+@@ -21,8 +21,8 @@
+ #ifndef Minisat_Alloc_h
+ #define Minisat_Alloc_h
+ 
+-#include "mtl/XAlloc.h"
+-#include "mtl/Vec.h"
++#include "XAlloc.h"
++#include "Vec.h"
+ 
+ namespace Minisat {
+ 
+--- ./mtl/Heap.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Heap.h	2011-04-12 18:32:05.000000000 -0700
+@@ -21,7 +21,7 @@
+ #ifndef Minisat_Heap_h
+ #define Minisat_Heap_h
+ 
+-#include "mtl/Vec.h"
++#include "Vec.h"
+ 
+ namespace Minisat {
+ 
+--- ./mtl/Map.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Map.h	2011-04-12 18:31:36.000000000 -0700
+@@ -20,8 +20,8 @@
+ #ifndef Minisat_Map_h
+ #define Minisat_Map_h
+ 
+-#include "mtl/IntTypes.h"
+-#include "mtl/Vec.h"
++#include "IntTypes.h"
++#include "Vec.h"
+ 
+ namespace Minisat {
+ 
+--- ./mtl/Queue.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./mtl/Queue.h	2011-04-12 18:31:18.000000000 -0700
+@@ -21,7 +21,7 @@
+ #ifndef Minisat_Queue_h
+ #define Minisat_Queue_h
+ 
+-#include "mtl/Vec.h"
++#include "Vec.h"
+ 
+ namespace Minisat {
+ 
+--- ./simp/SimpSolver.h.orig	2010-07-10 09:07:36.000000000 -0700
++++ ./simp/SimpSolver.h	2011-04-12 18:35:20.000000000 -0700
+@@ -21,8 +21,8 @@
+ #ifndef Minisat_SimpSolver_h
+ #define Minisat_SimpSolver_h
+ 
+-#include "mtl/Queue.h"
+-#include "core/Solver.h"
++#include <mtl/Queue.h>
++#include <core/Solver.h>
+ 
+ 
+ namespace Minisat {
diff --git a/sci-mathematics/minisat/minisat-2.1.0.ebuild b/sci-mathematics/minisat/minisat-2.1.0.ebuild
new file mode 100644
index 000000000000..2a57f5af9c59
--- /dev/null
+++ b/sci-mathematics/minisat/minisat-2.1.0.ebuild
@@ -0,0 +1,96 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/minisat-2.1.0.ebuild,v 1.1 2011/04/17 22:54:19 nerdboy Exp $
+
+EAPI="2"
+
+inherit eutils toolchain-funcs
+
+MY_P="${PN}2-070721"
+
+DESCRIPTION="Small yet efficient SAT solver with reference paper."
+HOMEPAGE="http://minisat.se/Main.html"
+SRC_URI="http://minisat.se/downloads/${MY_P}.zip
+	doc? ( http://minisat.se/downloads/MiniSat.pdf )"
+
+SLOT="0"
+KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
+LICENSE="MIT"
+
+IUSE="debug doc extended-solver"
+
+DEPEND="sys-libs/zlib"
+RDEPEND="${DEPEND}"
+
+S=${WORKDIR}/${PN}
+
+pkg_setup() {
+	if use debug; then
+		myconf="d"
+		myext="debug"
+	else
+		myconf="r"
+		myext="release"
+	fi
+
+	if use extended-solver; then
+		mydir="simp"
+	else
+		mydir="core"
+	fi
+
+	tc-export CXX
+
+	if has_version ">=sci-mathematics/minisat-2.2.0" ; then
+		elog ""
+		elog "The minisat2 2.1 and 2.2 ABIs are not compatible and there"
+		elog "is currently no slotting.  Please mask it yourself (eg, in"
+		elog "packages.mask) if you need to use the 2.1x version."
+		elog ""
+		epause 5
+	fi
+}
+
+src_prepare() {
+	sed -i \
+		-e "s|-O3|${CFLAGS} ${LDFLAGS}|" \
+		-e "s|@\$(CXX)|\$(CXX)|" \
+		mtl/template.mk || die
+}
+
+src_compile() {
+	export MROOT="${S}"
+	emake -C ${mydir} "$myconf" || die
+
+	if ! use debug; then
+		LIB="${PN}" emake -C ${mydir} lib || die
+	else
+		LIB="${PN}" emake -C ${mydir} libd || die
+	fi
+}
+
+src_install() {
+	# somewhat brute-force, but so is the build setup...
+
+	insinto /usr/include/${PN}2/mtl
+	doins mtl/*.h || die
+
+	insinto /usr/include/${PN}2/core
+	doins core/Solver*.h || die
+
+	insinto /usr/include/${PN}2/simp
+	doins simp/Simp*.h || die
+
+	if ! use debug; then
+		newbin ${mydir}/${PN}_${myext} ${PN} || die
+		dolib.a ${mydir}/lib${PN}.a || die
+	else
+		newbin ${mydir}/${PN}_${myext} ${PN} || die
+		newlib.a ${mydir}/lib${PN}_${myext}.a lib${PN}.a || die
+	fi
+
+	dodoc README || die
+	if use doc; then
+		dodoc "${DISTDIR}"/MiniSat.pdf || die
+	fi
+}
diff --git a/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild b/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild
index 76eb04624350..19a35276b91f 100644
--- a/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild
+++ b/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild
@@ -1,8 +1,8 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild,v 1.1 2011/04/16 21:43:53 nerdboy Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/minisat-2.2.0-r3.ebuild,v 1.2 2011/04/17 22:54:19 nerdboy Exp $
 
-EAPI="4"
+EAPI="2"
 
 inherit eutils toolchain-funcs
 
@@ -37,6 +37,15 @@ pkg_setup() {
 		mydir="core"
 	fi
 	tc-export CXX
+
+	if has_version "=sci-mathematics/minisat-2.1*" ; then
+		elog ""
+		elog "The minisat2 2.1 and 2.2 ABIs are not compatible and there"
+		elog "is currently no slotting.  Please mask it yourself (eg, in"
+		elog "packages.mask) if you still need the older version."
+		elog ""
+		epause 5
+	fi
 }
 
 src_prepare() {