diff options
author | 2015-08-02 13:55:54 +0000 | |
---|---|---|
committer | 2015-08-02 13:55:54 +0000 | |
commit | d02f1dfccfe7cd1b23ac70583bac38b8684dd021 (patch) | |
tree | bee4a75a481a64b8c5eea68ebb6561ec636df560 /sci-mathematics | |
parent | Bump agda to 2.4.2.3-r1 (diff) | |
download | gentoo-2-d02f1dfccfe7cd1b23ac70583bac38b8684dd021.tar.gz gentoo-2-d02f1dfccfe7cd1b23ac70583bac38b8684dd021.tar.bz2 gentoo-2-d02f1dfccfe7cd1b23ac70583bac38b8684dd021.zip |
Bump agda-stdlib to 2.4.2.3
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/agda-stdlib/ChangeLog | 7 | ||||
-rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild | 66 |
2 files changed, 72 insertions, 1 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/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 +} |