Bump agda-stdlib to 2.4.2.3

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

3 files changed, 78 insertions, 5 deletions

diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog
index 1cde547cc210..4d24805bc67a 100644
--- a/sci-mathematics/agda-stdlib/ChangeLog
+++ b/sci-mathematics/agda-stdlib/ChangeLog
@@ -1,6 +1,11 @@
 # ChangeLog for sci-mathematics/agda-stdlib
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.10 2015/08/02 13:55:54 gienah Exp $
+
+*agda-stdlib-2.4.2.3 (02 Aug 2015)
+
+  02 Aug 2015; Mark Wright <gienah@gentoo.org> +agda-stdlib-2.4.2.3.ebuild:
+  Bump agda-stdlib to 2.4.2.3
 
   02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org>
   -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild:
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index 979f86f999c8..24e43c1eefc1 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -4,14 +4,16 @@ Hash: SHA256
 AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce
 DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060
 DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1
+DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf
 EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c
 EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907
-MISC ChangeLog 2131 SHA256 e1c5dfcd6938f50f950cb4673a7dfbc5707fb6bc0d75c099703f2f7d935412eb SHA512 12669c7772c30de4999ad0f4c0c63182306af60f40ca8982c3001244b586032b18c86fe1171c584adfdeb8257bc097c7f5764d5d43d142b40390524fbc820161 WHIRLPOOL 4170ea8b05dc31f59e35722994a5cdf748bbce6457b957dd360c43e69910564d7a1e9c31e2261b4dd0a93794f708051f37e031edf056428719c4b90f9f0d4769
+EBUILD agda-stdlib-2.4.2.3.ebuild 2002 SHA256 82e4ee731061ab10f0da7749f6ba91b85d6f42b4ced1a5433648ec167242c4eb SHA512 ea4e1d076f6a80a93349d00d8c05974552c32e5c0a75593878ef5c6bceb14cb5b87ee0b8ec52e74480b49858ff430eae37e0277d20a6a16bddb410baf465dd74 WHIRLPOOL a768662fed1d7fa76d052d9f92ac92101bddc57430594ac222d8d9626aea441bbeb00356ab981b80b92a7c45c87077e56da6868bae3dd6daa4464ce0f2df55de
+MISC ChangeLog 2275 SHA256 723429902a29ca158b7dacce676b84e5485adf65bc082268afbf17eaff2a4e85 SHA512 4f2ea98a6e7b5906dd62418da0ffdc67b287716185ad7e0c29e8e935abe602959a92d5c4e242cd22e3eb2abdeceaf565eff99cadb38521fc9266e4c4d7e77f94 WHIRLPOOL 9596803784c97fa9c83c183056d6b47c11fe34626d4d58ceaa928b0ed35d73adf54fb1cde396173dcc7b5fe01aefda7bd6bcad96f13485d6c4ad062f1ff3dd2c
 MISC metadata.xml 460 SHA256 a4ae622900664e568812464e2d41c3af26b6dd27a5cedfb6974f4dbc0e7ee451 SHA512 60267138c3ded320f4b93574813ce8b2130d73b0d95e1da293a705fbe5062faeaa13eab32c38f2c754646ce5cfbb78680df18d0c3459a11f27379f08dfe78dea WHIRLPOOL 7ea8d71701acac657213d547ae2a479bb65d0262ec620d750fcf19d3372aa971a9e0beffba6bd05a9a9298e5355e6d78b2592dcd65da0a14f9655b8e580f480d
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2
 
-iEYEAREIAAYFAlW99b0ACgkQcaHudmEf86otQwCfcIaHpV11kDjinLz43/kdoY6G
-YjYAn0YY0boMGSMswA4QKuoXNLQVMuMg
-=/V8v
+iF4EAREIAAYFAlW+IWoACgkQoBEVQmGOlx+klgEAj5oy2prL21VtlBIFYVw/IbD3
+q43ujl1D5QaDra7O9LEA/iiu7SVQA7FWP/adWLjTehgPi5dydID55Tzd2rvOpOmN
+=l0uM
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
new file mode 100644
index 000000000000..87f257507797
--- /dev/null
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild,v 1.1 2015/08/02 13:55:54 gienah Exp $
+
+EAPI=5
+
+CABAL_FEATURES="bin"
+inherit haskell-cabal elisp-common
+
+DESCRIPTION="Agda standard library"
+HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
+SRC_URI="https://github.com/agda/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="profile +ffi"
+
+# filemanip is used in lib.cabal to make the GenerateEverything and
+# AllNonAsciiChars executables, so agda-stdlib does not require a subslot
+# dependency on filemanip.
+
+RDEPEND="=sci-mathematics/agda-${PV}*:=[profile?]
+	=dev-haskell/filemanip-0.3*[profile?]
+	>=dev-lang/ghc-6.12.1
+	ffi? ( sci-mathematics/agda-lib-ffi )
+"
+DEPEND="${RDEPEND}
+	>=dev-haskell/cabal-1.8.0.2
+"
+
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+	cabal-mksetup
+}
+
+src_compile() {
+	haskell-cabal_src_compile
+	"${S}"/dist/build/GenerateEverything/GenerateEverything \
+		|| die "GenerateEverything failed"
+	local prof
+	use profile && prof="--ghc-flag=-prof"
+	agda +RTS -K1G -RTS ${prof} \
+		-i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
+	# Although my agda-9999 build has
+	# /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
+	# containing:
+	# datadir    = "/usr/share/agda-9999/ghc-7.6.1"
+	# it fails without the --css option like:
+	# /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
+	local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir    = \(.*\)@\1@')
+	agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
+}
+
+src_test() {
+	agda -i "${S}" -i "${S}"/src README.agda || die
+}
+
+src_install() {
+	insinto usr/share/agda-stdlib
+	export INSOPTIONS=--preserve-timestamps
+	doins -r src/*
+	dodoc -r html/*
+	elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
+}