Bump agda to 2.3.2

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

3 files changed, 106 insertions, 5 deletions

diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index 8c06a05c9fd4..98d87c94e978 100644
--- a/sci-mathematics/agda/ChangeLog
+++ b/sci-mathematics/agda/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for sci-mathematics/agda
 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.18 2012/11/18 07:01:39 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.19 2012/11/18 07:48:34 gienah Exp $
+
+*agda-2.3.2 (18 Nov 2012)
+
+  18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.2.ebuild:
+  Bump agda to 2.3.2
 
 *agda-2.3.0.1-r1 (18 Nov 2012)
 
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index 301812dc98fe..924cb7be8760 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -15,17 +15,19 @@ DIST Agda-1.0.2.tar.gz 505642 SHA256 2ab56783a26e84f64422316daf0ce160f9836673573
 DIST Agda-2.2.6.tar.gz 1376824 SHA256 3ea0f18d475e9a27ab4a6362e0888aa173f8eb9630085124aaf79df336168ca6
 DIST Agda-2.3.0.1.tar.gz 612342 SHA256 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 SHA512 c9e51b20d74cc5c6b8b9a9d7574478f552d0ae9c1133f017727b2f2f0646e04de0fca79918027ef0664bba708763c909e8eaaec2964a7a2f031ba21235b5c9dc WHIRLPOOL ec0e402caed8aa28e928ef20e2707547d9aeab53b9630fc1cb13136423debe89e0826b161895230dba99479049cf42cbb5edde55c584fe0a0ef2d41f9bed4f8f
 DIST Agda-2.3.0.tar.gz 608029 SHA256 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc
+DIST Agda-2.3.2.tar.gz 726462 SHA256 d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 SHA512 6bf4775517db41795303a4d1a4611856f599ea7595784a37cb5bb7c4608e948807549632d633a731e38502e61a528a0274b5bf8a6eaa0b9d86a9f558726d18cc WHIRLPOOL 7a0c95a72445b66ee297cdb07b5994deafe8b2f608a238226b0a241ad70b2d4f5e2834011fedc90018bfc692ff1aa4eea57143c01f9b1f496ebb4dc189d6353c
 EBUILD agda-1.0.2-r2.ebuild 1234 SHA256 f5e5b1f82c4197d1fd820a54e9273c48074229bf0dd75a78f1ac11d2c744c48b SHA512 0f75e6abdca50c639063a713980d99c65290458e1d12b12772529f2731afd4c45401839d993e92c02b2ff171253252f3dafd1652cd4fc93bdfdf404afcdd0900 WHIRLPOOL eea378424156d044b610e9ac1cd8713caf1dc31afd6c4c8dce0a437a861f326a1703d19e8255400bbc6119c36e36341142cf47b027ae97d31039a418b349796b
 EBUILD agda-2.2.6-r1.ebuild 1350 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e9323330d52091027a89b2e1be0922c SHA512 9f4116d09e97f24e18d59e780fd620069490e9cef23b8b3653f204edcfb146a8598b8c77e9d2bd84c5862b67bd0a4b2b2e8aac0de5a2d84fed930da9b483b619 WHIRLPOOL 780e2a3d067d69f99fafb4d27fdeefba7d3331e102f37833b8ea022d9d83228874748b3903cfc52c241b89cb1e302be9d7db824c9254f56796eb8763bdc59961
 EBUILD agda-2.3.0.1-r1.ebuild 2682 SHA256 de467510990469f26662ab8167bd02dd7540d560d3e0b325c77a2a2f993cd38e SHA512 8a2cb0cd6a9e488275bb6c5cfa4448b2c1aa21ed45ea92b2551383663090f783fbf0184b82510b0b4338cb9b133d2a2e1f5f37d69425d8722f9c03c7434f39c2 WHIRLPOOL a4deae1af391f40b51478b1541f9c5fdbf38341af287c4d4fac11fa53369d6823444c875ee6a5d978b93c08abea217993f5f80b6198fbb4c0b0ae63877a07a65
 EBUILD agda-2.3.0.1.ebuild 2139 SHA256 7bc93ef47608329e0abbdada68be30b976865eddd144866e1b714d1da210f62f SHA512 f5509f8bc9c87c12fd001e95504bf56d6fea038d8cbe7f53a3e31a44d77035693f4f60e86845b30b4d8f376eb6029f7c3d6b2ccb61fb0192fcbc5c99f58619ed WHIRLPOOL f1b9daac6cdd9429a6bfca5c570e1290d5e4021de580e466ff97a6a4044e16cd6cb1eb03cc976ad78aac7fece57bdd1c8b8a9bcc2515b911c88dbbac6fb361b1
 EBUILD agda-2.3.0.ebuild 2399 SHA256 209a5238cb245762c5a365835b52832af800aeed186baaad96c063d8db57bd2e SHA512 41009d6c63127310384ccc5535079b00a0ada61b52a72aa75858f7276b79efe565b9fd10cc0a6aeeec6e99feb0c69a89ad6dc48dac8b264961d94d4a6ab39764 WHIRLPOOL 93f46c4895634b57412856aa18402a75df23c94427b5233f003848e529576c312716ae899224dee8b585626b9a1b61b2e49c2e77f359a9c70a224fee2b98170f
-MISC ChangeLog 3856 SHA256 668afbe548eaf130dd3d1e9bfd52f93392e65e4b534193168e74d988906b69bd SHA512 df017d7f0fdc9cdfae44020dda33b4c2e42fb9ba9b4ad0e16ff2ca05763816c77dabbcba965e0ad4fae9922afab2e10a38f3f1fc688a551f3050d9cf9178583d WHIRLPOOL b3729d0d8d1f9f4f995c4c58afed1dde189f3a16f7d6ee5f0ff70f286d5bfc2dc4d77ca0bc8095a4ba21dd264fb85e3377770935dc7d32aa6b841e07cdd6c042
+EBUILD agda-2.3.2.ebuild 2856 SHA256 77a5282ce1dd12925eeee78d18bfb9ee6e20b5382aa8c239579eac34f688f46e SHA512 51eb52b98785ad93ff64b6b33e882c3970b46c99db6c57df053a858c20b260fb16068dc7be085743b45bd694252b0dcc5f5902213377504dd943ffc08f878ab5 WHIRLPOOL 03f712b15fe561c71d78fc991389e78a8f43b9c8fdbf84c0ae5953041a49ce8ecefeb2bb6297f6a2bc5f90592434f0e525803f79e824b3533be943c8947313d8
+MISC ChangeLog 3972 SHA256 e284e9f1aad0b9566d5d59c7a0159f9c714a676daf1cb95bc051c7641c16e5b8 SHA512 61d46ccf6cb6d2f49e71e403c01244dcc073c3d81ea9fea8b48b67898eb5d6276550aba3f68fb8a107447105fe9d92616801577091b80dad9fab6d3502fd719c WHIRLPOOL 94a6398efb0ea1512489e8f06a55a2c4c53c8ebc8d4457c5e2a2103631cae3b6466fe349053c0a9428309c961fd8f711225a30a2a889440c92dbf9ec6d1e814b
 MISC metadata.xml 668 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 SHA512 fffd98368697b3975d1d7dee5947f01195ec3706b511aa5a3ed38aea167d1cd87cb278ca62d9fcf0afce28d8da13dc831d9fe0b0c02c4fc31ced44485e272237 WHIRLPOOL a20fc3187a93fe6e5d8f6639d27faa3632746e81e46a7f40be2bcc3f7e47008c0d2a3978e8eb0f90bd692d166aa3208ca482182d451f781a3fc124dd79d6b9e4
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.19 (GNU/Linux)
 
-iF4EAREIAAYFAlCoh+cACgkQoBEVQmGOlx+COgD/RwX36fUqxckyuatprblXuYJe
-Pxzz/b3Zg0LQeB0ZnmEA/1NbUN8bg4XZRlBSzucyOJR4MCttyStmk8QAA3E+eLxv
-=Lrto
+iF4EAREIAAYFAlCoktcACgkQoBEVQmGOlx/LuQEA0vgobzzFihPrp5Ib1d1qfTrY
+quD0UCcTp+nFvapeIT0BAJVVP18g2ALKZ4Q8sVqQ2+z291K2IlWECrMoqdnBEsIJ
+=/8xy
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda/agda-2.3.2.ebuild b/sci-mathematics/agda/agda-2.3.2.ebuild
new file mode 100644
index 000000000000..11d1e8c96b23
--- /dev/null
+++ b/sci-mathematics/agda/agda-2.3.2.ebuild
@@ -0,0 +1,94 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2.ebuild,v 1.1 2012/11/18 07:48:34 gienah Exp $
+
+EAPI=5
+
+# ebuild generated by hackport 0.3.9999
+
+CABAL_FEATURES="lib profile"
+inherit haskell-cabal eutils elisp-common
+
+MY_PN="Agda"
+MY_P="${MY_PN}-${PV}"
+
+DESCRIPTION="A dependently typed functional programming language and proof assistant"
+HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="epic +stdlib"
+
+RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
+		<dev-haskell/binary-0.6:=[profile?]
+		=dev-haskell/deepseq-1.3*:=[profile?]
+		epic? ( dev-lang/epic:=[profile?] )
+		>=dev-haskell/geniplate-0.6.0.3:=[profile?]
+		<dev-haskell/geniplate-0.7:=[profile?]
+		>=dev-haskell/hashable-1.1.2.3:=[profile?]
+		<dev-haskell/hashable-1.2:=[profile?]
+		=dev-haskell/hashtables-1.0*:=[profile?]
+		>=dev-haskell/haskeline-0.6.3.2:=[profile?]
+		<dev-haskell/haskeline-0.8:=[profile?]
+		>=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
+		<dev-haskell/haskell-src-exts-1.14:=[profile?]
+		>=dev-haskell/mtl-2.0:=[profile?]
+		<dev-haskell/mtl-2.2:=[profile?]
+		<dev-haskell/parallel-3.3:=[profile?]
+		>=dev-haskell/quickcheck-2.3:=[profile?]
+		<dev-haskell/quickcheck-2.6:=[profile?]
+		=dev-haskell/text-0.11*:=[profile?]
+		=dev-haskell/unordered-containers-0.2*:=[profile?]
+		=dev-haskell/xhtml-3000.2*:=[profile?]
+		>=dev-haskell/zlib-0.4.0.1:=[profile?]
+		<dev-haskell/zlib-0.6:=[profile?]
+		>=dev-lang/ghc-6.12.1:=
+		virtual/emacs
+		app-emacs/haskell-mode"
+PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
+DEPEND="${RDEPEND}
+		dev-haskell/alex
+		>=dev-haskell/cabal-1.8
+		dev-haskell/happy"
+
+SITEFILE="50${PN}2-gentoo.el"
+S="${WORKDIR}/${MY_P}"
+
+src_prepare() {
+	sed -e '/.*emacs-mode.*$/d' \
+		-e '/^executable agda/,$d' \
+		-i "${S}/${MY_PN}.cabal" \
+		|| die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
+	cabal-mksetup
+	if use epic && use stdlib; then
+		ewarn "Note that the agda-stdlib README:"
+		ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
+		ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
+		ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
+		ewarn "the Agda standard library."
+	fi
+}
+
+src_configure() {
+	cabal_src_configure $(cabal_flag epic)
+}
+
+src_install() {
+	haskell-cabal_src_install
+	elisp-install ${PN} src/data/emacs-mode/*.el \
+		|| die "Failed to install emacs mode"
+	elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
+		|| die "Failed to install elisp site file"
+}
+
+pkg_postinst() {
+	ghc-package_pkg_postinst
+	elisp-site-regen
+}
+
+pkg_postrm() {
+	ghc-package_pkg_prerm
+	elisp-site-regen
+}