[QA] Change !use by ! use such that it negates the USE flag instead of expanding history. Revision bump to ensure users get the fix accordingly.

(Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)

4 files changed, 21 insertions, 11 deletions

diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog
index f4e87f8f7a7b..26d53a1136be 100644
--- a/sci-mathematics/isabelle/ChangeLog
+++ b/sci-mathematics/isabelle/ChangeLog
@@ -1,6 +1,16 @@
 # ChangeLog for sci-mathematics/isabelle
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.10 2013/09/01 08:30:31 zmedico Exp $
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.11 2014/01/07 13:36:33 tomwij Exp $
+
+*isabelle-2012-r1 (07 Jan 2014)
+*isabelle-2013-r1 (07 Jan 2014)
+*isabelle-2011.1-r2 (07 Jan 2014)
+
+  07 Jan 2014; Tom Wijsman <TomWij@gentoo.org> +isabelle-2011.1-r2.ebuild,
+  +isabelle-2012-r1.ebuild, +isabelle-2013-r1.ebuild,
+  -isabelle-2011.1-r1.ebuild, -isabelle-2012.ebuild, -isabelle-2013.ebuild:
+  [QA] Change !use by ! use such that it negates the USE flag instead of
+  expanding history. Revision bump to ensure users get the fix accordingly.
 
   01 Sep 2013; Zac Medico <zmedico@gentoo.org> isabelle-2013.ebuild:
   Fix SRC_URI and HOMEPAGE (case-sensitive).
diff --git a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild b/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild
index 60ef15746dc7..116239d95593 100644
--- a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2014 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild,v 1.4 2012/12/09 09:24:29 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild,v 1.1 2014/01/07 13:36:33 tomwij Exp $
 
 EAPI="5"
 
@@ -90,7 +90,7 @@ src_prepare() {
 		SCALA_HOME="${ROOT}usr/share/scala"
 		SHA1_HOME="/usr/$(get_libdir)/sha1-polyml"
 	EOF
-	if use ledit && !use readline; then
+	if use ledit && ! use readline; then
 		epatch "${FILESDIR}/${PN}-2011.1-reverse-line-editor-order.patch"
 	fi
 }
diff --git a/sci-mathematics/isabelle/isabelle-2012.ebuild b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
index 26c607bfd936..d1bf4611a053 100644
--- a/sci-mathematics/isabelle/isabelle-2012.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2014 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild,v 1.5 2012/12/09 09:24:29 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012-r1.ebuild,v 1.1 2014/01/07 13:36:33 tomwij Exp $
 
 EAPI="5"
 
@@ -110,7 +110,7 @@ src_prepare() {
 			init_component ${JEDIT_S}
 		EOF
 	fi
-	if use ledit && !use readline; then
+	if use ledit && ! use readline; then
 		epatch "${FILESDIR}/${PN}-2012-reverse-line-editor-order.patch"
 	fi
 }
diff --git a/sci-mathematics/isabelle/isabelle-2013.ebuild b/sci-mathematics/isabelle/isabelle-2013-r1.ebuild
index 2ac0b05de93f..f85f9aec6e48 100644
--- a/sci-mathematics/isabelle/isabelle-2013.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2013-r1.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2013 Gentoo Foundation
+# Copyright 1999-2014 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.ebuild,v 1.2 2013/09/01 08:30:31 zmedico Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013-r1.ebuild,v 1.1 2014/01/07 13:36:33 tomwij Exp $
 
 EAPI="5"
 
@@ -128,7 +128,7 @@ src_prepare() {
 		contrib/${JEDIT_P}
 		contrib/${JFREECHART_P}
 	EOF
-	if use ledit && !use readline; then
+	if use ledit && ! use readline; then
 		epatch "${FILESDIR}/${PN}-2012-reverse-line-editor-order.patch"
 	fi
 	rm -f "${S}/contrib/jfreechart-1.0.14/lib/iText-2.1.5.jar" \