Bump agda to 2.4.2.3-r1

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

3 files changed, 128 insertions, 5 deletions

diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog
index 6dcc30fc9198..0083e62016d8 100644
--- a/sci-mathematics/agda/ChangeLog
+++ b/sci-mathematics/agda/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for sci-mathematics/agda
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.32 2015/08/02 10:52:08 slyfox Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.33 2015/08/02 13:50:45 gienah Exp $
+
+*agda-2.4.2.3-r1 (02 Aug 2015)
+
+  02 Aug 2015; Mark Wright <gienah@gentoo.org> +agda-2.4.2.3-r1.ebuild:
+  Bump agda to 2.4.2.3-r1
 
   02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.2-r5.ebuild,
   -agda-2.3.2.1-r1.ebuild, -agda-2.3.2.2-r1.ebuild,
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest
index 78208b8f7c89..86966b9cea51 100644
--- a/sci-mathematics/agda/Manifest
+++ b/sci-mathematics/agda/Manifest
@@ -5,14 +5,16 @@ AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0bae
 AUX agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc SHA512 28ca830797ecfddf50fa0f3cedd8eebd5a0c1f974749440bb793d597736da2bbb42217b80e25230b941814bca233469b5909471cfa70c4b7fc659a46d7c43d1c WHIRLPOOL 40a5f18241e4b9df5a1997f342eae5f292019a14e222d8ad792f632b3f33c0c2929959ed705514ef94968e022cc3eadf109c24c891bbfdc9b33568318838f472
 DIST Agda-2.4.0.1.tar.gz 906887 SHA256 58e678b9d193e19d4e69d8899129d9ae16df08a394873af850797f03cc2cbe86 SHA512 edd56ecea83241f3cb1aca4ac1e17970acf122c323a4ff38e2b5d8e46e46b1afd90fbbd460a6674a51cbb13a7cbf3a57b489e91a92ce3e709b2fc3d659013601 WHIRLPOOL 4e94c4277e8be99bd5a513c274fd5712f1d4a3e99d1e626a3b195b9cf83f9216de62220cfb5e8298cc0f11560a9c32dc0116db3bd67c2240842fa798f733065c
 DIST Agda-2.4.2.2.tar.gz 963302 SHA256 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 SHA512 62376775255099570d9eb7814de77a239d0806669ee0993283429a400c7c45ca756c6735bab85b4d3a4b82defae544364ac9107fd622f2df1ebcbded3113204d WHIRLPOOL dd220346109b7e137cca2e3b091c581b0b4ed0e23340209c7eebc48b39d807a569c984fbe1aee813d18a7f953db86e82b6a6aa7e197e6a2c5569dc311625f45f
+DIST Agda-2.4.2.3.tar.gz 990268 SHA256 bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27 SHA512 84c24c517c830128032af8de9c8ce9ed8d5333becf65e6c96d67104caae1b66fb37ae9bcdff8f42a3e2997f4dcef2f4ea5addd7c94c45a0533c833da9af4d55a WHIRLPOOL ccef337495a5bc6d4272821700126a793ac0cac8b0ebbef44be478b725545797959c0edba910b5e2b68076e7c5c01e98580ea40016d02b268960dfba5f62a24a
 EBUILD agda-2.4.0.1.ebuild 4386 SHA256 fe1cc06c30afb221c059e8b44d2e59d3aaf90c4cb8edefa8c61cdfbc500de4ef SHA512 e66376b1dfa40d0bc1ec9fed9745c289d305831ced6aa3c72a26590085a61ea7af95a5b1b20890e61948271a999c0a1a0f3b63f8f790630ddf1e7aa77ac02c1c WHIRLPOOL e2db7d306e68c354bdd2242409e92057e796b4d6f3dfb5d39c84db50fb29f982e56a86c2bf00a8326a4e1d128d0f8d67de2ba89b00258ba3349265465535a4c7
 EBUILD agda-2.4.2.2-r1.ebuild 4668 SHA256 69dc4067ecfd1782e7cb62e262102cd6cfd2cf4bcd498b60566dd951b35d87fa SHA512 90cf68b062320984f942474863213786334b01df4ee55f34eeccaccbe7febf6a396e53f6380ee77fe42eedd32d1a676fcf345a3648cb208e71e124167ca0ae88 WHIRLPOOL ef66bf7186316cf64cac983e44065987974a107b542acc038072cc8c8284566962c87c3788b66859b750c086a3a7da34370af6fa9904f07cb9becc664412eaa9
-MISC ChangeLog 6292 SHA256 41f4e2fbbc3e63513198352b10f93c590b6ebf5989321e45da387a5c3dfc18da SHA512 1369da60f2c9f01d8c552faeac3fd3f07afe1b15c12765f5cb431ef022f139824b44ac51bb66bc3d21b00b626273d51b6b604cd8bc8be47d93db56f7e75f17ac WHIRLPOOL fe2deaf9db358c79b4c564a4176f4cbc598cf38ad2e891bd6f91911c83b2c780d649447229a379a8cb08cdf26521751dec27a9c9d21d635691b75f873f2e7263
+EBUILD agda-2.4.2.3-r1.ebuild 4488 SHA256 c0ba8a6262a917e9c7b9359abcfe9753e464102ec625fea2103b56097c014380 SHA512 23eaab0129e660ffcf7b6aa3f4cd754dd220d978842be5f1afb0a935705a5030b3e4ae93ef90c5500453560467060d0d4b93a1c8a75d74aad6c9b1db25db8589 WHIRLPOOL 3b9d1abf15cfabf1f64802bd6b5d7f0ac6d037dc7f740831922890c81d328bc9dc9d38264add23b7d71c039e4cda597da0cef30fe733de6cb305e2950a88c587
+MISC ChangeLog 6423 SHA256 af74d03a5c5906f77c2e59945fd47daf25e0d7a64940b1f40e92acb784da75fd SHA512 27c98a52d2852db59cd966285c6f60da11acad3c546a59ac1681c164aa3c6269a07a7547fa34af384bd3ace7819c40f5e0927ee9bd69947d6a08478a618ff19c WHIRLPOOL 564e5e34757d8282dcbf3ee751b7b60f6ba5efa82c3803b5948553fbe69ce0f013e46bd2305c72daad3fc129c1d3fea470eb7e5775da44bf762a39e1cf3c17bb
 MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2
 
-iEYEAREIAAYFAlW99lkACgkQcaHudmEf86rz0wCfT6BVx9ih1LEKxA5YjY8vHl5u
-oyQAn10KvEfhnNI9gBbJ56rM+NKQktxE
-=Mbi+
+iF4EAREIAAYFAlW+IDYACgkQoBEVQmGOlx8ASQD/XY3rZHGRrh02BKx1Su4AJmB6
+pdTn2Lc8fCc1DQKAVXoA/3evPpFeahJIXjcyHIso6J2spAblLS59FQOei8LmTB37
+=LXVD
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild b/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild
new file mode 100644
index 000000000000..623f7fd89ce6
--- /dev/null
+++ b/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild
@@ -0,0 +1,116 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.2.3-r1.ebuild,v 1.1 2015/08/02 13:50:45 gienah Exp $
+
+EAPI=5
+
+# ebuild generated by hackport 0.4.5.9999
+
+CABAL_FEATURES="bin lib profile haddock hoogle hscolour"
+inherit haskell-cabal 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="+cpphs +stdlib"
+
+RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-0.4:=[profile?]
+	>=dev-haskell/binary-0.6:=[profile?] <dev-haskell/binary-0.8:=[profile?]
+	>=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
+	>=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?]
+	>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
+	>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
+	>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
+	>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
+	>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.17:=[profile?]
+	>=dev-haskell/old-time-1.1.0.0:=[profile?] <dev-haskell/old-time-1.2:=[profile?]
+	>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
+	>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[profile?]
+	>=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
+	>=dev-haskell/text-0.11:=[profile?] <dev-haskell/text-1.3:=[profile?]
+	>=dev-haskell/transformers-compat-0.3.3.2:=[profile?] <dev-haskell/transformers-compat-0.5:=[profile?]
+	>=dev-haskell/unordered-containers-0.2:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
+	>=dev-haskell/xhtml-3000.2:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
+	>=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.7:=[profile?]
+	>=dev-lang/ghc-7.4.1:=
+	|| ( ( >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.2:=[profile?] )
+		( >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?] ) )
+	|| ( ( >=dev-haskell/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
+		( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] ) )
+	|| ( ( >=dev-haskell/mtl-2.1.1:=[profile?] <=dev-haskell/mtl-2.1.3.1:=[profile?] )
+		( >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] ) )
+	|| ( ( >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.4:=[profile?] )
+		( >=dev-haskell/transformers-0.4.1.0:=[profile?] <dev-haskell/transformers-0.5:=[profile?] ) )
+"
+RDEPEND+="
+		app-emacs/haskell-mode
+		virtual/emacs
+"
+PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
+DEPEND="${RDEPEND}
+	dev-haskell/alex
+	>=dev-haskell/cabal-1.8
+	dev-haskell/happy
+	cpphs? ( dev-haskell/cpphs )
+"
+RDEPEND+="!sci-mathematics/agda-executable"
+
+SITEFILE="50${PN}2-gentoo.el"
+S="${WORKDIR}/${MY_P}"
+
+src_prepare() {
+	cabal_chdeps \
+		'data-hash == 0.2.0.0' 'data-hash >= 0.2.0.0 && < 0.3' \
+		'geniplate-mirror >= 0.6.0.6 && < 0.7' 'geniplate-mirror >= 0.6.0.6 && < 0.8'
+	sed -e '/.*emacs-mode.*$/d' \
+		-i "${S}/${MY_PN}.cabal" \
+		|| die "Could not remove agda-mode from ${MY_PN}.cabal"
+}
+
+src_configure() {
+	haskell-cabal_src_configure \
+		$(cabal_flag cpphs cpphs)
+}
+
+src_compile() {
+	BYTECOMPFLAGS="-L ./src/data/emacs-mode"
+	elisp-compile src/data/emacs-mode/*.el \
+		|| die "Failed to compile emacs mode"
+	haskell-cabal_src_compile
+}
+
+src_test() {
+	export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
+
+	dist/build/agda/agda --test +RTS -M1g || die
+}
+
+src_install() {
+	local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
+
+	haskell-cabal_src_install
+
+	# generate Primitive.agdai, emulate Setup.hs postinst phase
+	Agda_datadir="${add}" \
+		"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda
+
+	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() {
+	elisp-site-regen
+}
+
+pkg_postrm() {
+	elisp-site-regen
+}