Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix quotes, respect LDFLAGS, add missing dies, move variables definitions to pkg_setup, use emake instead of gmake, use dodoc for pdf file. Drop old.

(Portage version: 2.2.0_alpha29/cvs/Linux x86_64)

4 files changed, 82 insertions, 88 deletions

diff --git a/sci-mathematics/minisat/ChangeLog b/sci-mathematics/minisat/ChangeLog
index e1d1efee193a..221488a45bd6 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.3 2011/04/10 08:03:44 nerdboy Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.4 2011/04/10 08:40:48 xarthisius Exp $
+
+*minisat-2.2.0-r2 (10 Apr 2011)
+
+  10 Apr 2011; Kacper Kowalik <xarthisius@gentoo.org> -minisat-2.2.0-r1.ebuild,
+  +minisat-2.2.0-r2.ebuild, metadata.xml:
+  Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix
+  quotes, respect LDFLAGS, add missing dies, move variables definitions to
+  pkg_setup, use emake instead of gmake, use dodoc for pdf file. Drop old.
 
   09 Apr 2011; Steve Arnold <nerdboy@gentoo.org> minisat-2.2.0-r1.ebuild:
   Updated include files to proper directory structure (which other 
diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml
index 1c6eb08a7b39..6fe6fbcc1c3c 100644
--- a/sci-mathematics/minisat/metadata.xml
+++ b/sci-mathematics/minisat/metadata.xml
@@ -8,6 +8,5 @@
 <use>
 <flag name="extended-solver">Build extended version of SAT solver with
  additional features.</flag>
-<flag name="prof">Build with profiling enabled.</flag>
 </use>
 </pkgmetadata>
diff --git a/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild b/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild
deleted file mode 100644
index d8d1bf86c829..000000000000
--- a/sci-mathematics/minisat/minisat-2.2.0-r1.ebuild
+++ /dev/null
@@ -1,86 +0,0 @@
-# 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-r1.ebuild,v 1.2 2011/04/10 08:03:44 nerdboy Exp $
-
-EAPI="4"
-
-inherit eutils toolchain-funcs
-
-DESCRIPTION="Small yet efficient SAT solver with reference paper."
-HOMEPAGE="http://minisat.se/Main.html"
-SRC_URI="http://minisat.se/downloads/${P}.tar.gz
-	doc? ( http://minisat.se/downloads/MiniSat.pdf )"
-
-SLOT="0"
-KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
-LICENSE="MIT"
-
-IUSE="debug doc extended-solver prof"
-
-DEPEND="sys-libs/zlib"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}"
-
-src_configure() {
-	if use debug; then
-		myconf="d"
-	elif use prof; then
-		myconf="p"
-	else
-		myconf="r"
-	fi
-
-	sed -i -e "s|-O3|${CFLAGS} ${LDFLAGS}|" mtl/template.mk
-}
-
-src_compile() {
-	tc-export CXX
-	export MROOT="${S}"
-
-	if use extended-solver; then
-		cd simp
-	else
-		cd core
-	fi
-
-	gmake "$myconf" || die "make failed"
-	LIB="${PN}" gmake lib"$myconf" || die "make lib failed"
-	cd "${S}"
-}
-
-src_install() {
-	# somewhat brute-force, but so is the build setup...
-	insinto /usr/include/minisat2
-	doins -r mtl
-	rm -f ${ED}/usr/include/minisat2/mtl/config.mk
-	doins core/Solver.h simp/SimpSolver.h
-
-	insinto /usr/include/minisat2/core && doins core/SolverTypes.h
-	insinto /usr/include/minisat2/utils && doins utils/*.h
-
-	if use extended-solver; then
-		cd simp
-	else
-		cd core
-	fi
-
-	if use debug; then
-		newbin ${PN}_debug ${PN} || die
-		newlib.a lib${PN}_debug.a lib${PN}.a || die
-	elif use prof; then
-		newbin ${PN}_profile ${PN} || die
-		newlib.a lib${PN}_profile.a lib${PN}.a || die
-	else
-		newbin ${PN}_release ${PN} || die
-		newlib.a lib${PN}_release.a lib${PN}.a || die
-	fi
-	cd "${S}"
-
-	dodoc README doc/ReleaseNotes-2.2.0.txt
-
-	if use doc; then
-		insinto /usr/share/doc/${PF}
-		doins "${DISTDIR}"/MiniSat.pdf
-	fi
-}
diff --git a/sci-mathematics/minisat/minisat-2.2.0-r2.ebuild b/sci-mathematics/minisat/minisat-2.2.0-r2.ebuild
new file mode 100644
index 000000000000..61d78dab0170
--- /dev/null
+++ b/sci-mathematics/minisat/minisat-2.2.0-r2.ebuild
@@ -0,0 +1,73 @@
+# 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-r2.ebuild,v 1.1 2011/04/10 08:40:48 xarthisius Exp $
+
+EAPI="4"
+
+inherit eutils toolchain-funcs
+
+DESCRIPTION="Small yet efficient SAT solver with reference paper."
+HOMEPAGE="http://minisat.se/Main.html"
+SRC_URI="http://minisat.se/downloads/${P}.tar.gz
+	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
+}
+
+src_prepare() {
+	sed -e "s/\$(CXX) \$^/\$(CXX) \$(LDFLAGS) \$^/" \
+		-i -e "s|-O3|${CFLAGS}|" mtl/template.mk || die
+}
+
+src_compile() {
+	export MROOT="${S}"
+	emake -C ${mydir} "$myconf" || die
+	LIB="${PN}" emake -C ${mydir} lib"$myconf" || die
+}
+
+src_install() {
+	# somewhat brute-force, but so is the build setup...
+	insinto /usr/include/minisat2
+	doins -r mtl || die
+	rm -f "${ED}"/usr/include/minisat2/mtl/config.mk || die
+	doins core/Solver.h simp/SimpSolver.h || die
+
+	insinto /usr/include/minisat2/core
+	doins core/SolverTypes.h || die
+
+	insinto /usr/include/minisat2/utils
+	doins utils/*.h || die
+
+	newbin ${mydir}/${PN}_${myext} ${PN} || die
+	newlib.a ${mydir}/lib${PN}_${myext}.a lib${PN}.a || die
+
+	dodoc README doc/ReleaseNotes-2.2.0.txt || die
+	if use doc; then
+		dodoc "${DISTDIR}"/MiniSat.pdf || die
+	fi
+}