/[gentoo-x86]/sci-mathematics/agda-stdlib/agda-stdlib-0.7_pre20130109.ebuild
Gentoo

Contents of /sci-mathematics/agda-stdlib/agda-stdlib-0.7_pre20130109.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Thu Jan 10 12:31:25 2013 UTC (19 months, 3 weeks ago) by gienah
Branch: MAIN
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps

(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

1 # Copyright 1999-2013 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Header: $
4
5 EAPI=5
6
7 CABAL_FEATURES="bin"
8 inherit haskell-cabal elisp-common
9
10 DESCRIPTION="Agda standard library"
11 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
12 SRC_URI="http://dev.gentoo.org/~gienah/snapshots/${P}.tar.gz"
13
14 LICENSE="MIT"
15 SLOT="0"
16 KEYWORDS="~amd64 ~x86"
17 IUSE="profile"
18
19 DEPEND=">=sci-mathematics/agda-executable-2.3.0.1"
20 RDEPEND="=sci-mathematics/agda-2.3.2*[profile?]
21 =dev-haskell/filemanip-0.3*[profile?]"
22
23 SITEFILE="50${PN}-gentoo.el"
24
25 S="${WORKDIR}/lib-${PV}"
26
27 src_prepare() {
28 cabal-mksetup
29 }
30
31 src_compile() {
32 haskell-cabal_src_compile
33 "${S}"/dist/build/GenerateEverything/GenerateEverything \
34 || die "GenerateEverything failed"
35 local prof
36 use profile && prof="--ghc-flag=-prof"
37 agda +RTS -K1G -RTS ${prof} \
38 -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
39 # Although my agda-9999 build has
40 # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
41 # containing:
42 # datadir = "/usr/share/agda-9999/ghc-7.6.1"
43 # it fails without the --css option like:
44 # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
45 local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@')
46 agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
47 }
48
49 src_test() {
50 agda -i "${S}" -i "${S}"/src README.agda || die
51 }
52
53 src_install() {
54 insinto usr/share/agda-stdlib
55 export INSOPTIONS=--preserve-timestamps
56 doins -r src/*
57 dodoc -r html/*
58 elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
59 }

  ViewVC Help
Powered by ViewVC 1.1.20