diff options
author | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:21:18 +0000 |
---|---|---|
committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:21:18 +0000 |
commit | 4dfc24f9db32dc4c51ff1e622d28492b15b90538 (patch) | |
tree | 36dd61b4c51a418e8c99a9555c12c2c42255b79a /sci-mathematics/e | |
parent | Remove the static-libs use flag, as upstream do not support static in a way t... (diff) | |
download | historical-4dfc24f9db32dc4c51ff1e622d28492b15b90538.tar.gz historical-4dfc24f9db32dc4c51ff1e622d28492b15b90538.tar.bz2 historical-4dfc24f9db32dc4c51ff1e622d28492b15b90538.zip |
EAPI=5 with subslot depends to automatically rebuild e when isabelle is updated if the isabelle use flag is enabled.
Package-Manager: portage-2.1.11.33/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/e')
-rw-r--r-- | sci-mathematics/e/ChangeLog | 6 | ||||
-rw-r--r-- | sci-mathematics/e/Manifest | 12 | ||||
-rw-r--r-- | sci-mathematics/e/e-1.5.ebuild | 19 | ||||
-rw-r--r-- | sci-mathematics/e/e-1.6.ebuild | 19 |
4 files changed, 27 insertions, 29 deletions
diff --git a/sci-mathematics/e/ChangeLog b/sci-mathematics/e/ChangeLog index 90c5c2ce1cce..885ef7d8065e 100644 --- a/sci-mathematics/e/ChangeLog +++ b/sci-mathematics/e/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/e # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.2 2012/09/20 13:11:18 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.3 2012/12/05 10:21:11 gienah Exp $ + + 05 Dec 2012; Mark Wright <gienah@gentoo.org> e-1.5.ebuild, e-1.6.ebuild: + EAPI=5 with subslot depends to automatically rebuild e when isabelle is + updated if the isabelle use flag is enabled. *e-1.6 (20 Sep 2012) diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest index 0aeb3df308e3..e5eb201eb068 100644 --- a/sci-mathematics/e/Manifest +++ b/sci-mathematics/e/Manifest @@ -3,14 +3,14 @@ Hash: SHA256 DIST E-1.5.tgz 1689077 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39a9e61b37f5e46f SHA512 a2534c9e278741fed2f0005f5fa2b4ea60d71babd4e38c207a48f496df6916bf9ff4bf0ba41ae899eaeeeec7235ff1d759629dbcb627dd8766168f9bc98a4894 WHIRLPOOL e659d8e5917c505f2976532f0a19f0e2f845230c656f4cc62c5538f760e2559b06c0d9e47bc0e1df7eb9000791d0fa09ef5bf94dcc43f233e7514cffacf6893a DIST E-1.6.tgz 1627003 SHA256 91afe68f37ca2005a8eead3bdba0a4452de7cf7100369c9955304c8609b70c90 SHA512 769aa4d04595181285be49c1f21d7e8a47936fab78b5d6f2975910a64d4928cd2be97d781c4092dadab48d213a6bc788b8247a2310cf71042b1339129fe0cdf2 WHIRLPOOL 96c82427132017ee3f78c644ede9a018c74d59d7029fe006435baac9502d6cf6b097c51eeb1078b98ce8a208572956db756dcccd6529bcaba32519596dabf486 -EBUILD e-1.5.ebuild 3465 SHA256 c735f5ca5b78a7a1b679984e39876a2f21a718051d4d25a899f59339e88bf95a SHA512 a0edfb90ef340aba66da23fa1bca2a0a133400c015582eeae7a5aeff9d2ab6416af42a606499f5bb562064c34619726e5c3ee38b90353ef3dc21fddef5a0c740 WHIRLPOOL a674419b44241e04bc9d286c0d5e051df02b347479449a9de0400bf517f2ac1bb0410ba60729dbbdceb714c498267a6254ede2600389f98418450e83655aa437 -EBUILD e-1.6.ebuild 3465 SHA256 486d0e03828d708789bb87e0c466dba37c0cb7f2e322bfcfb6bdfd1a7ab4cffb SHA512 eb69b3a6ad2c257c0d7021810a8a4db539f24d9749f18860f30607285c84e2063058092c092070b1d5e52ea0494502bfbb7158026013941e1a2c1ebd68824451 WHIRLPOOL 9b9d840b0a34203c9c31e15162ff858d8e3dd1a5d760e9cce62ff828a29256f616939fc00322eeb7d73c97f8b123f5b53fe62152dc5bc5899b86134548af653b -MISC ChangeLog 495 SHA256 7a82c11ae40b502e701c801a361feec935e99df3be416f09a114c00516ec9d5c SHA512 f240cb3603724df8d7185d9ffbad8ac7b03894e77d84fc1bdbbf21ede51a7771d79d53414d1fd3df71c1e09e7056e7a617b314cba1c13ab93fae7d0019cf3ffc WHIRLPOOL d60e82b31024527e8c9ef2b04405b93504f6133e6ea47668453b7ec2842a8aa9643ad52ee1aabdba8b7d7a7c9fef8f26d80310cf4b7c0910cbc0f43a835aea3a +EBUILD e-1.5.ebuild 3456 SHA256 e899f3e21fc482abea857f3d0049334f58448b1eb94013023bc0322b8249a7ea SHA512 f93b7c448ef68bd53b3ad1401e9812b2a6ee917842a12560a02141d2fab81d51ab24a25a994c59d8febdccdce07d389a5eb686af5e38ec0eeedb47935ffb0d4c WHIRLPOOL 0c1d901f1725920fcad6cacc1e458bc56cba0f06e8ca94c80df74ae90d1fafc3622c70981f87cf26e217a5ae005e00c70b01b2e62dfcb9eb8cb9bad4f796112d +EBUILD e-1.6.ebuild 3456 SHA256 e444d2bd9c17b612abeb846dc006a53a95a859450eeed10115147b424d7588af SHA512 55ca34c48866b81d8a1ee3a30ee8e3954df9804ec8189e0f80ba36393413794611c87ed77a9d08fbeaa17bca60cab45e3141409314322e8e00026d35074b2d70 WHIRLPOOL 5b304628888c4f8b1c054e7dd3a3c79b33529aacb9cdbda1cbce06b10db62ca84f34bc080188ce4e109563599c7a6af56047e1496fa5c2dff2bd8a86b692289b +MISC ChangeLog 692 SHA256 e8f84a2707d1c77f91458c986a4c242557d9b0ec9ebda3c3e864a4e7022df0f4 SHA512 d1d77e413f3758f4c808546c3ff7789ff844725707b15c9364b13068375c83f7faf389f8bed6b01f020db9f11a2cf9d118b1de8608649b6051658cf02a669f79 WHIRLPOOL cc3af3df334484d26105c3866d1edb54279d2ccdfb46ba8a93d61c91d57d6181282a6765d3e623172c1468ddddf341c6e3873c5c75529672de344ca88802ddbf MISC metadata.xml 1323 SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0 SHA512 674856ce26521d4c3c02912824356af15e46f54d9ca632f9eb86e1aaf157581888d7f33916fa1740a258d113e516048daadea08c2e2e99bf39ce308781399605 WHIRLPOOL eb59e249d34aa7c3fafec8f7baa266079ad7e23c25f7903a7a1c977a72407812577bbdff94a97ba6f80bdce95b5f0dde308a70b0b0d45c443dc895a68a0d9fbd -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) -iF4EAREIAAYFAlBbFgAACgkQoBEVQmGOlx8sWAD/fIdJxfXsQqjKPMGweRimnhTm -Vwz0k25RW5KyV1dTRhwBAJ7ks4k4nLDRbSsu04SeZj5DB02UWIAJHStE9/g+c0JS -=OqdQ +iF4EAREIAAYFAlC/IBwACgkQoBEVQmGOlx8WJwD+NOvkYqpPkV20nMVXzZQVhZY/ +EcOirP5cf3MZ17jq2+sA/A7UY0ZpwIalvVIaQSgmrCakpcgVlnhgQ9lkcyz1IOHZ +=/QuN -----END PGP SIGNATURE----- diff --git a/sci-mathematics/e/e-1.5.ebuild b/sci-mathematics/e/e-1.5.ebuild index 25d68e57a4b6..0d843aa21d8c 100644 --- a/sci-mathematics/e/e-1.5.ebuild +++ b/sci-mathematics/e/e-1.5.ebuild @@ -1,8 +1,8 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.5.ebuild,v 1.1 2012/05/30 00:55:22 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.5.ebuild,v 1.2 2012/12/05 10:21:11 gienah Exp $ -EAPI="4" +EAPI="5" MY_PN="E" MY_P="${MY_PN}-${PV}" @@ -12,15 +12,14 @@ HOMEPAGE="http://www4.informatik.tu-muenchen.de/~schulz/E/E.html" SRC_URI="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_${PV}/${MY_PN}.tgz -> ${MY_P}.tgz" LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~x86 ~amd64" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" IUSE="doc examples isabelle" -RDEPEND="" -DEPEND="${RDEPEND} - isabelle? ( - >=sci-mathematics/isabelle-2011.1-r1 +RDEPEND="isabelle? ( + >=sci-mathematics/isabelle-2011.1-r1:= )" +DEPEND="${RDEPEND}" S="${WORKDIR}"/${MY_PN} @@ -89,9 +88,7 @@ src_install() { if use isabelle; then ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \ || die "isabelle getenv ISABELLE_HOME failed" - if [[ -z "${ISABELLE_HOME}" ]]; then - die "ISABELLE_HOME empty" - fi + [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" cat <<- EOF >> "${S}/settings" E_HOME="${ROOT}usr/bin" diff --git a/sci-mathematics/e/e-1.6.ebuild b/sci-mathematics/e/e-1.6.ebuild index 30b85907c67d..81c20141fc38 100644 --- a/sci-mathematics/e/e-1.6.ebuild +++ b/sci-mathematics/e/e-1.6.ebuild @@ -1,8 +1,8 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.6.ebuild,v 1.1 2012/09/20 13:11:18 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.6.ebuild,v 1.2 2012/12/05 10:21:11 gienah Exp $ -EAPI="4" +EAPI="5" MY_PN="E" MY_P="${MY_PN}-${PV}" @@ -12,15 +12,14 @@ HOMEPAGE="http://www4.informatik.tu-muenchen.de/~schulz/E/E.html" SRC_URI="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_${PV}/${MY_PN}.tgz -> ${MY_P}.tgz" LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~x86 ~amd64" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" IUSE="doc examples isabelle" -RDEPEND="" -DEPEND="${RDEPEND} - isabelle? ( - >=sci-mathematics/isabelle-2011.1-r1 +RDEPEND="isabelle? ( + >=sci-mathematics/isabelle-2011.1-r1:= )" +DEPEND="${RDEPEND}" S="${WORKDIR}"/${MY_PN} @@ -89,9 +88,7 @@ src_install() { if use isabelle; then ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \ || die "isabelle getenv ISABELLE_HOME failed" - if [[ -z "${ISABELLE_HOME}" ]]; then - die "ISABELLE_HOME empty" - fi + [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" cat <<- EOF >> "${S}/settings" E_HOME="${ROOT}usr/bin" |