summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2012-12-05 10:21:18 +0000
committerMark Wright <gienah@gentoo.org>2012-12-05 10:21:18 +0000
commit4dfc24f9db32dc4c51ff1e622d28492b15b90538 (patch)
tree36dd61b4c51a418e8c99a9555c12c2c42255b79a /sci-mathematics/e
parentRemove the static-libs use flag, as upstream do not support static in a way t... (diff)
downloadhistorical-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/ChangeLog6
-rw-r--r--sci-mathematics/e/Manifest12
-rw-r--r--sci-mathematics/e/e-1.5.ebuild19
-rw-r--r--sci-mathematics/e/e-1.6.ebuild19
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"