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

Contents of /sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.2 - (show annotations) (download)
Thu Jan 10 12:31:25 2013 UTC (21 months, 1 week ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +3 -2 lines
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: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild,v 1.1 2012/03/25 14:02:15 gienah Exp $
4
5 EAPI=4
6
7 DESCRIPTION="Agda standard library"
8 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
9 SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz -> ${P}.tar.gz"
10
11 inherit elisp-common
12
13 LICENSE="MIT"
14 SLOT="0"
15 KEYWORDS="~amd64 ~x86"
16 IUSE="profile"
17
18 DEPEND="=sci-mathematics/agda-executable-2.3.0*"
19 RDEPEND="=sci-mathematics/agda-2.3.0*[profile?]"
20
21 SITEFILE="50${PN}-gentoo.el"
22
23 S="${WORKDIR}/lib-${PV}"
24
25 src_compile() {
26 local prof
27 use profile && prof="--ghc-flag=-prof"
28 agda +RTS -K1G -RTS ${prof} \
29 -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
30 agda --html -i "${S}" -i "${S}"/src "${S}"/README.agda || die
31 }
32
33 src_test() {
34 agda -i "${S}" -i "${S}"/src README.agda || die
35 }
36
37 src_install() {
38 insinto usr/share/agda-stdlib
39 export INSOPTIONS=--preserve-timestamps
40 doins -r src/*
41 dodoc -r html/*
42 elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
43 }

  ViewVC Help
Powered by ViewVC 1.1.20