agda-executable must be rebuilt when agda is upgraded

Package-Manager: portage-2.2.3/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

3 files changed, 54 insertions, 2 deletions

diff --git a/sci-mathematics/agda-executable/ChangeLog b/sci-mathematics/agda-executable/ChangeLog
index 6e7b8ffc0bf9..2580b329236d 100644
--- a/sci-mathematics/agda-executable/ChangeLog
+++ b/sci-mathematics/agda-executable/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/agda-executable
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.4 2013/06/20 02:06:52 patrick Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.5 2013/09/13 06:56:08 gienah Exp $
+
+*agda-executable-2.3.0.1-r2 (13 Sep 2013)
+
+  13 Sep 2013; Mark Wright <gienah@gentoo.org>
+  +agda-executable-2.3.0.1-r2.ebuild:
+  agda-executable must be rebuilt when agda is upgraded
 
   20 Jun 2013; Patrick Lauer <patrick@gentoo.org> -agda-executable-2.3.0.ebuild:
   Remove version with already removed dependencies
diff --git a/sci-mathematics/agda-executable/Manifest b/sci-mathematics/agda-executable/Manifest
index d617e6ae1a96..eb7f08b287ff 100644
--- a/sci-mathematics/agda-executable/Manifest
+++ b/sci-mathematics/agda-executable/Manifest
@@ -1,5 +1,16 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA256
+
 DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 SHA512 8abdd2739a36a952bb754c069717be70e9fa74b55fc048c2877f7d0c6791a5a8f7944b3b3a97be754fd00431ff94b9f7c6f35f40b8376155952c4b9b414890b2 WHIRLPOOL 84b738ef4fb75d7dcff8c9cc0002509ff2ccc9bdd5e27c04472deed6df960047da907948f7d5e585a5e3e8f6caafc05cf2e25718cd9b575e4cf18a0e1e8cd422
 EBUILD agda-executable-2.3.0.1-r1.ebuild 939 SHA256 81af8438b4647a6e6150779fbfb260327355e21ccb81ef97a0088ef257b3820b SHA512 d281e6646adb245097a76e5d5cf3d011b7b41c5f2da7969f14d2a4da6d737d901fa9e2d8820ebd09f93a5db32aa713b10010455c1d9017f0ca745a95fd9d4c9d WHIRLPOOL 37da7203146f86e76194b80b884d9a1234ec765abcffff3ec4651d4299c6692a61d1d9fed3154d75dcf05cff95f058db3cc510045a3f7d825e5df8dff2fc7eec
+EBUILD agda-executable-2.3.0.1-r2.ebuild 938 SHA256 b299d69b9755cdc88da6d94238a0cdf1e79fcdb3e3680a4190ea898c4f44bdb3 SHA512 53f1fb2452ef04bffb615fb4726a9eb07c86fe62dae3eb6aae081578804e8cd6d180a3edc8f0d8fc85b8386732240ee160a302ef6107360a0014aa61eef4dffa WHIRLPOOL da455ce8e900e0ea77c7ea70dc25a373382ea294e4707ce38560ea7951eeb9c616f97fa0b42e7ed5f88b0af8107d5789f89f4d4b63a06b0cf61250922093a64e
 EBUILD agda-executable-2.3.0.1.ebuild 780 SHA256 c4667c5d96c5eb1190e6b1c4abe2971b6ab444a94f5f209376511e026e9fc4d3 SHA512 f92a9e81f59e9ba7b9fe42ef204d7e6c7646bf0ad2a10ba82639249bc13a78126f616e9538658b2b931876b7555befc48b305b40a03c50d5edf8594ea9c239cf WHIRLPOOL efd990749fe01c520ddede769f40b5180e390b1c13d1715c7e2ea12f2978b007cf08e3ca4eacf37f184190de7bfdc3e44fce57228cb5ba91a7308fbd672de6bc
-MISC ChangeLog 1090 SHA256 7184f105fa1a01e0608c31d6712ab9f06287f1b31a351ee028bf5fc4de9bb8dd SHA512 2135ea54a2db0b6592fd65a5ac8d444ef8f356bffdf400ac22d989019753dec4da5d20ab745462221c03ee6e9297fe31123172311f151b4dba17479bd8236657 WHIRLPOOL 96cd6addb6260d5c09bf12c51b4250d3e856f40ced430a3e81dd8910ebfdd69ae50d8e1f1a4375530860746ac1bec64d8fcdf47113a90600843e62f07bcec06a
+MISC ChangeLog 1274 SHA256 cde77170df1c4118cd4d99be6f55209a38772fb1eabc11c2aebfafa88761f7eb SHA512 0915557c1dbeaff3ed6d349d21c14a48e5bf50e812756d7f34661b224afc9b64a0c47468ca640d88f729269442a48de9ba3361479fd77d2d242d452082863846 WHIRLPOOL 60afaa2542e24da9527479e2f53764e49db19c03f0b859b7c5638ea028ab9f642772ad8442617433750a253de5b78dd934394fb0a67ef54574dead70d80b7e63
 MISC metadata.xml 448 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 SHA512 1f96c1e7ec2ba6eb0e67e38e8c80cd191dfe07a85a8d6abb85811b5b43093f86792808f41e725eacf97e452d8fcc51489db1b166b2278e420b3d8368a8c6fb8b WHIRLPOOL 710e328314caa829083350c670ef55dc619dab54029c5908bb3183d872a91ca72ff74d2ffd0bd1f4e9d39f2c05faad0d23d05960a51d93541eec2770a7bb8fae
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.20 (GNU/Linux)
+
+iF4EAREIAAYFAlIytngACgkQoBEVQmGOlx8MggD+Omi4UD8Krkt6ie4jC7CqI+UI
+VTdUXGY7ghNKHifmacQBALZ0uTSANAJgH8K1g8AtzIte/TF9OGPt9pezpsNF4BW0
+=eYf2
+-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda-executable/agda-executable-2.3.0.1-r2.ebuild b/sci-mathematics/agda-executable/agda-executable-2.3.0.1-r2.ebuild
new file mode 100644
index 000000000000..6c0254403074
--- /dev/null
+++ b/sci-mathematics/agda-executable/agda-executable-2.3.0.1-r2.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/agda-executable-2.3.0.1-r2.ebuild,v 1.1 2013/09/13 06:56:08 gienah Exp $
+
+EAPI=5
+
+# ebuild generated by hackport 0.3.9999
+
+CABAL_FEATURES="bin"
+inherit haskell-cabal eutils
+
+MY_PN="Agda-executable"
+MY_P="${MY_PN}-${PV}"
+
+DESCRIPTION="Command-line program for type-checking and compiling Agda programs"
+HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=sci-mathematics/agda-2.3.0.1:="
+DEPEND="${RDEPEND}
+		>=dev-haskell/cabal-1.8
+		>=dev-lang/ghc-6.10.4"
+
+S="${WORKDIR}/${MY_P}"
+
+src_prepare() {
+	cabal-mksetup
+	sed -e 's@Agda == 2.3.0.1@Agda >= 2.3.0.1@' \
+		-i "${S}/${MY_PN}.cabal" || die "Could not loosen dependencies"
+}