Bump agda-stdlib to 0.8

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

4 files changed, 85 insertions, 7 deletions

diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog
index c3e4be5dc4bf..ba2a92b7f625 100644
--- a/sci-mathematics/agda-stdlib/ChangeLog
+++ b/sci-mathematics/agda-stdlib/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for sci-mathematics/agda-stdlib
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.5 2013/12/10 11:46:28 gienah Exp $
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.6 2014/07/02 15:24:38 gienah Exp $
+
+*agda-stdlib-0.8 (02 Jul 2014)
+
+  02 Jul 2014; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.8.ebuild,
+  metadata.xml:
+  Bump agda-stdlib to 0.8
 
 *agda-stdlib-0.7-r1 (10 Dec 2013)
 
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index 837fd40844b1..62a84cd6bb21 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -3,16 +3,18 @@ Hash: SHA256
 
 AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce
 DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b
+DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060
 DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536
 EBUILD agda-stdlib-0.6.ebuild 1115 SHA256 33a8020d46f3a71f270a1cbb90401dfcf17951d1525e7bc1c9a7b3f1cf7234e9 SHA512 a9b6ae898f748b3f61a78336b6e7f5dae7433bbdc767a8bbf954d60b656616e9daf26bdd43facc7b643790720ddaf47793830d980eef8871d46421861119116c WHIRLPOOL e4eb24f8e901ea04a3e00b8b5026c8d519f1e915cb20978df0613d87089cb66ab066d679449fd3bb2ccb5015d75a49f3784d15706bbbaf805e181075c01ce306
 EBUILD agda-stdlib-0.7-r1.ebuild 2214 SHA256 0135405bc6ae440443ad520a737b9449f1109f0bdd784992abf6c173339753fa SHA512 4d6e427dba6fc04985c7f5eaebd5cff5f5f338267fbfc932979e825f9832a05e4bbcead2bddc7782e29352e329bc056acd4d4b1334e2c557ffdb05ac820ccd06 WHIRLPOOL 5285e1f2581dc2f99a6979e8217dc5f7f583b1bc9c6251f6f58ac12615e7ef5bb7c997c1a12aed579dadb8e595820c22660f31fb3177ac528e7e9db418efd782
 EBUILD agda-stdlib-0.7.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa06710816116445af9e7c811cb878b3 SHA512 20d31b4784d89b6122ffadfd72ba1710a02e5ce06bb0780f588208ba2cde333140e0740b917e9f74894f80ae09274a048b421604da53f7e239aedf463ce74a31 WHIRLPOOL 281760de3bd2004c24b4b4f9dd4040ec6c7227140e55b82864af5de3d4e0ae40c71098641b12ebea9aaa255d03220b80009064dfaeff86eb5e8709e5146a7829
-MISC ChangeLog 1604 SHA256 0a5df62e4ba9032d2703de281ab2bfcfe5864c06320c4537f2942f712f228690 SHA512 b34e30513255f34c0be47f19b2f4296c8488b26840f0f8773c54b59603d36b2085e986b635a8f0a0c306a95dacd9fdf836698993bfbdb372b0b2449617fc6036 WHIRLPOOL bddb20837702159e006e5fe0ff90ba3b30b50d67d6e67f2f92b32bd227115f679259d88802b17a8e5ac093d61bf9bbf75c360cb67ddd2631affa1369aebacc12
-MISC metadata.xml 265 SHA256 35355d6fc62fde1ba81f075b068817cfeb813a969c7de1470a6f8bd132b5b459 SHA512 775cb59dc26f638adf310c58772de51faaede29cdc4f672ae2d7ecf2b997b1d2a5631773b5038fa8f061b972d4bfdf8f6a467a3cb705ea08afbbd065629a28dd WHIRLPOOL 5227c13a1f5c6be977d7cda80b4bb4ea26dbbed5710a1c2016242e74ae447563b44ee6eb61927b7c29ccaa4c854feff5342792c2a2592655c619371ed4ceb4d1
+EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c
+MISC ChangeLog 1751 SHA256 40c4684c4cbbbc9e5007edd890b87bc92c282a3e0f648b8895b91b85ef4b99ae SHA512 70c4019975c006da21df314a4821a385a15e2b1932d275cf312eebcdab49e9ad04947721b1b354acb8448b3ad9f45fa34aa825646c9a4e757c870ea318d44df7 WHIRLPOOL 67256d4b9edaa318d4f92a88edac750b9b61c76ee282e4eedcb10cdca699b15ae4cdc6acdfd91203711c48859f6c0362053e6ca7632d9ab69d3bedb8eb3b2d1e
+MISC metadata.xml 366 SHA256 c41fd8efa2f976bdda4d3a30d8ef583c3978bd88157791e2873646aa21d222a8 SHA512 84a809638cac53987f8206e8dca03b50eb6b50b24fad12d986bf270adcaa2b71f6f2e264898d1eaab9b9945397dc65246866249b14182c095146d3b6cf5a25ff WHIRLPOOL cac6530be82252ec18ad15ecbc9a38af081f6137f8fd7018813d8903c7a339704243df53fbd245bd7c92328d47ece3b29785153115ecd38a0bf2be05f8c0b8e5
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.22 (GNU/Linux)
 
-iF4EAREIAAYFAlKm/cwACgkQoBEVQmGOlx+0ggEAuxtlj56+E/LCr80e00RXWkAU
-4MxYR0I3SHOC0xaSiMMBAJZNAvk8atD4oUl++9J2ykHiY1QQcq2OSXe+0H1qiwe2
-=GlEi
+iF4EAREIAAYFAlO0JDsACgkQoBEVQmGOlx/YWQEAxM3F9wILSURmsyD89noJ0K4o
+bUN7gmRvI5JpiDUAhmwA/RLEaJFjqO4k2YW+Xw1/Edf4CQ/KJ71EHyg1YSAkCKUY
+=bbLw
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
new file mode 100644
index 000000000000..b9ba977d5d2a
--- /dev/null
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
@@ -0,0 +1,67 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild,v 1.1 2014/07/02 15:24:38 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/v${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-2.4:=[profile?]
+	=dev-haskell/filemanip-0.3*[profile?]
+	>=sci-mathematics/agda-executable-2.3.0.1:=
+	>=dev-lang/ghc-6.12.1
+	ffi? ( =sci-mathematics/agda-lib-ffi-0.0.2 )
+"
+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
+}
diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml
index 931d619e5994..1ba1a477a424 100644
--- a/sci-mathematics/agda-stdlib/metadata.xml
+++ b/sci-mathematics/agda-stdlib/metadata.xml
@@ -6,4 +6,7 @@
 <longdescription lang="en">
   Agda standard library.
 </longdescription>
+<use>
+	<flag name='ffi'>Install agda-lib-ffi for compilation using the MAlonzo backend</flag>
+</use>
 </pkgmetadata>