summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2013-09-13 06:56:55 +0000
committerMark Wright <gienah@gentoo.org>2013-09-13 06:56:55 +0000
commit62d84661ebe3e32cbddeaed0c6d13b2b57434b5d (patch)
treece749b83eea959dbfb09abbc04fc287fdb4a958e /sci-mathematics
parentagda-executable must be rebuilt when agda is upgraded (diff)
downloadhistorical-62d84661ebe3e32cbddeaed0c6d13b2b57434b5d.tar.gz
historical-62d84661ebe3e32cbddeaed0c6d13b2b57434b5d.tar.bz2
historical-62d84661ebe3e32cbddeaed0c6d13b2b57434b5d.zip
Bump agda-stdlib to 0.7
Package-Manager: portage-2.2.3/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/agda-stdlib/ChangeLog7
-rw-r--r--sci-mathematics/agda-stdlib/Manifest12
-rw-r--r--sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild59
3 files changed, 72 insertions, 6 deletions
diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog
index afae7a43d007..81bcac32115b 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-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.3 2013/01/10 12:31:25 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.4 2013/09/13 06:56:46 gienah Exp $
+
+*agda-stdlib-0.7 (13 Sep 2013)
+
+ 13 Sep 2013; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.7.ebuild:
+ Bump agda-stdlib to 0.7
*agda-stdlib-0.7_pre20130109 (10 Jan 2013)
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest
index a7bda2d8a7ea..65f1e16973ab 100644
--- a/sci-mathematics/agda-stdlib/Manifest
+++ b/sci-mathematics/agda-stdlib/Manifest
@@ -5,15 +5,17 @@ AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44
DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b
DIST agda-stdlib-0.7_pre20121118.tar.gz 217329 SHA256 72bcced26d7d31e83cadfc9f696fa361ffe2f7c7e7cd1a13813501522edb3706 SHA512 4d6ab0e2f3f84353c4cf00209ddee19ad860977d573d5ebb7ec212c6c0f52bfec790424d84b94e726edee8c785d3c9d262ef46b4475ecd39961e854831b72546 WHIRLPOOL dc384fc7d9204b13e4a7b6435a56c8c4a2e6d65e035a704899e962da38ccabb23b410649247ab3f62530c81b469f37caba28eb99b59e03f1e220b34a48e9554b
DIST agda-stdlib-0.7_pre20130109.tar.gz 219062 SHA256 664ab3d5e72df2daf4f89d4b2f9b182ac19cdc850e9d0063946965ebd6f90a3b SHA512 ddfdef39abbe9ffe44a87ce53c875a0d87233bec694b022831faab57cf1f5303cffa0a1ec8ef6e825cf96105f43b25d43c5f68dc5b87f8b8c52752bf6f85d3b2 WHIRLPOOL 4aec46db093433ac70525d26fd239fe7145891b3a0055f18e7bd1a2623c2c70e050898b7ca187cd5a85fbd21237283287991ad2c2d21c0e4656fd808222dd7e8
+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.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa06710816116445af9e7c811cb878b3 SHA512 20d31b4784d89b6122ffadfd72ba1710a02e5ce06bb0780f588208ba2cde333140e0740b917e9f74894f80ae09274a048b421604da53f7e239aedf463ce74a31 WHIRLPOOL 281760de3bd2004c24b4b4f9dd4040ec6c7227140e55b82864af5de3d4e0ae40c71098641b12ebea9aaa255d03220b80009064dfaeff86eb5e8709e5146a7829
EBUILD agda-stdlib-0.7_pre20121118.ebuild 1784 SHA256 c9986f46c7155d6949cfbe582cf2692e536db6c4a3a9ce9bd4ebd7e4934a04bb SHA512 89a0a14522d8bf0ed3fa56b0e859a22974cd9a3635e9f43ef61c7fb523dba67644c6ce4f13569613f0bf812fcb59b23ba228cf7e1eeb4417efac0ed072501711 WHIRLPOOL c03991130cbdb770ee29736dc7de830a7878763fd6a333c399f813990b0f9b3890605623e36eab7d7453dedc87aa63cda2d9335d4f8df9532594a6b7bbc4298e
EBUILD agda-stdlib-0.7_pre20130109.ebuild 1784 SHA256 86b2278bbf1e24e11f8d90b88ac73efbf2e0f0e0bb60797e090fa31a755e3ad0 SHA512 73b3209374c54ac4887a27d7839b51ef1b1dcb9df57a332a7ce1241d6e0b45f7de45130c469fb81eeb2a0518002bd571bdd53a1acebf40f116c35fede6d2419c WHIRLPOOL 200fa08c0aa9884dbbaf1413cfa59249dac61f40364c938d93fca3bff2faeec11ba94485f2bc6cf5e09e0509e9ba6c76c4f5f1ba40cb8c0d37351b2f850b7306
-MISC ChangeLog 998 SHA256 4614fb1a8143ce6390f130b952672dbe4a365aef31b80a29c17ec51e9894619d SHA512 1a6dc64ce2a4db11efec74f31e19495570ae11a44dc72fab8bb490ccb795b8efa153db940e1cb6f0237962d198e750402fd385f4a27f299cb76cc6d693dc6019 WHIRLPOOL f4804188995c0cd9f6021ea1c417c6a743e3f30549ae7725b5222c89ea1da8ef9b8375180820b4afa1ec85d411f50ebc8a7acc3edcf2dd4a8925d0fd7abc0a5e
+MISC ChangeLog 1129 SHA256 1bf81a2f9fc63c67a5261e96639a5e1df0c1d849c1b3bde7520bd6e20ea3f856 SHA512 8b4f9c22a5f6295433e550c42fee29a9c90fefd5fe5e4dd7de5db4bb5cd8801acca1c0b49c8309c756b9cf128b153156dbca10fc6654f4ca7b9d5805f26f36f4 WHIRLPOOL 773df233f3c2b4edd7756fcff85c45311f0ebb99202b99a591087e069031aff5c0e9c94e0a37203660a736fd0a6740d19028d5166ed56661c984da849fe4d62c
MISC metadata.xml 265 SHA256 35355d6fc62fde1ba81f075b068817cfeb813a969c7de1470a6f8bd132b5b459 SHA512 775cb59dc26f638adf310c58772de51faaede29cdc4f672ae2d7ecf2b997b1d2a5631773b5038fa8f061b972d4bfdf8f6a467a3cb705ea08afbbd065629a28dd WHIRLPOOL 5227c13a1f5c6be977d7cda80b4bb4ea26dbbed5710a1c2016242e74ae447563b44ee6eb61927b7c29ccaa4c854feff5342792c2a2592655c619371ed4ceb4d1
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.19 (GNU/Linux)
+Version: GnuPG v2.0.20 (GNU/Linux)
-iF4EAREIAAYFAlDutKkACgkQoBEVQmGOlx/x3wD+NJgRcQTGV48z6ApntdIK4H6t
-hySs8GJgDc/tit8ckG0A/0UALwQC2fSOPVdaHLgt3Lssy8meqifIpKh3IrEa7ExT
-=duUB
+iF4EAREIAAYFAlIytp0ACgkQoBEVQmGOlx8u7AEAg32FdQexwe5NP6nCXNX6vwvL
+WFsyTb3GNBUx9kR1l8MA/3FUNq3a4lnStwcs70TIRQqoq1S81UwvcFtw19BQIuox
+=2Fx1
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
new file mode 100644
index 000000000000..474fc6116ab0
--- /dev/null
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2013 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.7.ebuild,v 1.1 2013/09/13 06:56:46 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="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="profile"
+
+DEPEND=">=sci-mathematics/agda-executable-2.3.0.1"
+RDEPEND="=sci-mathematics/agda-2.3.2*[profile?]
+ =dev-haskell/filemanip-0.3*[profile?]"
+
+SITEFILE="50${PN}-gentoo.el"
+
+S="${WORKDIR}/lib-${PV}"
+
+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
+}