| # Copyright 1999-2015 Gentoo Foundation |
| # Distributed under the terms of the GNU General Public License v2 |
| # $Id$ |
| |
| 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 |
| insopts --preserve-timestamps |
| doins -r src/* |
| dodoc -r html/* |
| elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
| } |