[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.

Package-Manager: portage-HEAD/cvs/Linux x86_64
Manifest-Sign-Key: 0x6D34E57D

5 files changed, 33 insertions, 19 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/Manifest b/sci-mathematics/isabelle/Manifest
index ed8e426ee067..b0ee31d37b0a 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -22,16 +22,20 @@ DIST Isabelle2013.tar.gz 54638791 SHA256 2f2cda9939248bd4346ad7e074cb6b2cfad7070
 DIST jedit_build-20120414.tar.gz 7509120 SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 SHA512 2e2f0db4964a041ba54382a9c787246e1d433e43167019c6ea8d4cf6beb84ce438c0bc559d2588229b0166c91bac603bed39abc45d5d4267020f55eaba1aaa0c WHIRLPOOL 40b883943bde312b4c7adc43607ba4759e5ebe22cab3c922c81393375f917af21d4a8dc068e5692ffcf7bdfb1e7fe3081358dc8e346d1942582bf79e249b0cbb
 DIST jedit_build-isabelle-component-20130104.tar.gz 10734679 SHA256 22a4880deb1054a548476b22662b42bfaf5394ceb07b30eba69be433bcea1074 SHA512 bacdb3ca73d48fe9ba71dd32cd68e98333831f205dd3ced69bb9344c5b167ba084662f1108690f371b4b64f6b786955a332bcd51a2dc21c2179fb1b4727430dd WHIRLPOOL fc97923e08202e117ca3112b69f74a9f4663a70f55fa051ac55e02c85be57423f762263cac2ded33d9c2f412736e4fa0937aa07df3f36b915e806959055a796b
 DIST jfreechart-isabelle-component-1.0.14.tar.gz 3443727 SHA256 c873ad6f07edbcceb5c76aac2e848c7d7f12c78c93c05f7e97c4b1fdba7c2df0 SHA512 c55ec01b215368f064de2f288f788960a256445adca5565c00aa9c0fab5732707a9e72bcdb3838676c80e735c520b9948855d7a32b9076bf35f1a279320ee72a WHIRLPOOL ba1a75e21525c302a3b755d814502dad60c540c2004dd894f60fdd6966766f85d71bbb45728ca220a4a7cff334de81db756fbb89e1059f32e248cabf0a7b97d6
-EBUILD isabelle-2011.1-r1.ebuild 8114 SHA256 914fc9aec131d739bde342e8fa821415b5d31763a874b30d7dfa7464ceef25fc SHA512 9a2fdcefe6f6b7f6dc6f83f66b3944f92d6f22ad7630144ef97e296488c3c7b0041078c3a599f292042a063e09882d88747f0c42b83317ac3de08cafc8d213c7 WHIRLPOOL 23f853a92750bdefa7e7e1a29a88b3ae66e28d7760fec71582fc42d793884ff0255721c0787cd76d6d3ee1d7fe0e63e54f91a44f7dcbf98ed5fd60b04380699c
+EBUILD isabelle-2011.1-r2.ebuild 8115 SHA256 1425dc7fc5b6fb1410acc5c2eb09f48ee470e8fe23f3c330021cda8d813ebb9a SHA512 e6d4cf8c1971086a1fb2ac786b4e48eb38ceb1a00932e8df91bcbb9e743ce641170ab73f2d9c175f4901b862a376c3a1a685c09e8e3ea46371558406ce0c1b20 WHIRLPOOL a3f91037261b947da149bc600c9a3b7c7b9ed7c5f2c2e4f7811cecbb5c47967ae7a9fde667d29db6452e5390901fe26c4a9b89f2341fe8228ce0d9d3d88b32e0
 EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18
-EBUILD isabelle-2012.ebuild 11011 SHA256 b8d6bc8147868b37c15789fdd250bbade275f3341b34166626de1552c717daad SHA512 b3194156a2379dc783d7e32a29bd60e02e7d043a5705e4e4d482f86fa22cb944f236ee5aa49257134468040c9edf01af889b86cb9f80bc631e14f400ab42eaa4 WHIRLPOOL 13bd0f7080dee3d97fb9ed1870e6f4fa68e82c8cf203d3993c336a402afca24f3fc6b16d96cd45915bb02348b5c17346f588734158762d78ab9290f8b3934759
-EBUILD isabelle-2013.ebuild 12419 SHA256 f3ca677bd4b322e6bd71fcc42f161d33cfdd8093ef4d348a69bc398a2711cbd9 SHA512 af6497aea725468d9ac2f524a47ed152bdfe85a148566c9e8c358d05ea28a22f7c3372a7b354c9718e78449a6adf73273afad88f260a20799543c9a39577cf84 WHIRLPOOL 7d292c724aebfdf873861171f9c2f353f9d44fa61c61a738765db758f38acd1fddbeaa63700df091bdae5b272fddcf0b54d498ed3b7c86ff2a0e4d267bffb594
-MISC ChangeLog 3207 SHA256 d024723c89ac75fd90025c385da73f96c721ee43033982b7c9989fee864e50b2 SHA512 047572e8e5d1f371cd2c1bb13966f6a7dbd3d90b741aca6a7241f19b8cd2dc5f7984ff8204579e9fe407d758d37705e09bac53cf2c7fadc05539c4bce1d75c3c WHIRLPOOL 08b287557fdfec72ef93ab794d12ec246f39430db4dc2d3a4e54e3cce61358f3523e4f0854b9441ef0049afaa76f3c246642d089fa5a0caa88b17d702cead61b
+EBUILD isabelle-2012-r1.ebuild 11015 SHA256 1e15911e89af34332811e04a25c84c7730338a7b17a295b59ac71fa9515b9fd4 SHA512 725559331033b7b7a7e7fb68fe7cce89adc44e7cbd9cc3f3e0b28810bd667417def64b26ec803b5bb51065a34c10d0dad31fed2f0e7e38b41b352fddeda885da WHIRLPOOL 18aeb75c4e68e4470aa2793924c615f951534e03ee7dc8bf347084727d32f1b1037dfdedbf8cff849edd35ab7bf97b08fe73c5519b283bd97f9e4077b799af8d
+EBUILD isabelle-2013-r1.ebuild 12422 SHA256 ff89eb0b63eb62ba526c6494c4f918ce998061fe11ff35470afb742e62313e49 SHA512 ae6e923f20e245b7de54d08629b1b11b3127123e43abc54d61f82169c0e6a64f2b20eddba40984948beb3bd10aaae0f083a5b67d2dfc10d24c35bc4eaa1acf81 WHIRLPOOL d60571fb1c02ee26566d60db1feae1f029c6539dadae85342eeb95fbeb6a84d9cf00c7ee23cfae114797021af60f8ddec64bc82017d1e3a7075f9d3e6be0d607
+MISC ChangeLog 3660 SHA256 d4e9cb022d8a2e5fcd95d190e863303a7aeb0e5c60ab19519fff1293344200e2 SHA512 e9b7af18f18ebaa5502396ecbec1bebab737d7ef919b05d41f468e1ea6fae048a63a1e4defbaf3416f6eeb4e69c939fc900e4fd8e9e8186c290c82360a12271a WHIRLPOOL 4f34b0412990de4216f1a0b531d135d0a742db3b4d92bb3c04a4e1f2e3b2cf3c6d4670cf3333d568c478f81fa48759d9ccc9542f7bedf72e960d8cf92ecf2d74
 MISC metadata.xml 2156 SHA256 cade1f090a62a67146e6ebce508a20436e2c883d62dbc5a260733a60f69bd43b SHA512 cade4e370f3adbf9a5ae9bc6a73adabbe36f3ccc707c47f6f4516f2f0604b26f34439cff170bf478b3d52f0c507d72d9eef8f69657d7de2fda1f70a8a96de137 WHIRLPOOL 2edf4ab8a07ba560d34e168a9fd618a6fc1f9946dd0f9b62a2d071d1f19546d5e15413f54658c898e1e71df0c110ea832529f95cf904b7333489734fdfd5749b
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.20 (GNU/Linux)
+Version: GnuPG v2.0.22 (GNU/Linux)
 
-iEYEAREIAAYFAlIi+ykACgkQ/ejvha5XGaPkDACgshVo8p/2wiQW8A9PMayDWLtx
-PdMAoN+jHoFm7wQhw7ZB2ITxoWSKoDFJ
-=F4lS
+iQEcBAEBCAAGBQJSzAK/AAoJEJWyH81tNOV9KQIIALz8x1lQibWb0rqUbeY0v1EV
+uVRPjg1JqLuie/v8kWGB2PBaMPf9Ka7jizdrC2ngRTGjrJS5Iphhih7LP9yQmqW/
+JDEIM30LtjOwq8Muisp72upJRp0GE/+5spmQeCM51osttNPjvHcdAVng6SMfdf8X
+d7m9Oeu0fjUpNJK1zmBfDo1CWbn/AsTYJiXt4b5cRsgfLAvZg3d6CIu78xv2egVv
+MyIMWbNpE4kubWwgAqGw878PInwsD93ol9aFVGzJIcw2GdYRngLkJjq8gwvHMYEE
+j0rtqclv8qrLSzI4tTKvkIJN6x+S9BYF4SgVYga6Mj4uK0T5As7UxjRmD8TJAuM=
+=DQVF
 -----END PGP SIGNATURE-----
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" \