/[gentoo-x86]/sci-mathematics/agda/agda-1.0.2-r2.ebuild
Gentoo

Contents of /sci-mathematics/agda/agda-1.0.2-r2.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.2 - (show annotations) (download)
Tue Sep 14 19:53:51 2010 UTC (4 years, 2 months ago) by bicatali
Branch: MAIN
Changes since 1.1: +13 -20 lines
Version bump, ebuild originally from markusle (bug #303973). Also forced emacs on dependencies (thanks to ulm, bug #336741)

(Portage version: 2.2_rc81/cvs/Linux x86_64)

1 # Copyright 1999-2010 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r2.ebuild,v 1.1 2008/12/05 16:58:17 bicatali Exp $
4
5 EAPI=2
6 inherit elisp-common eutils
7
8 MY_PN="Agda"
9 S="${WORKDIR}/${MY_PN}-${PV}"
10
11 DESCRIPTION="Proof assistant in Haskell"
12 HOMEPAGE="http://unit.aist.go.jp/cvs/Agda/"
13 SRC_URI="mirror://sourceforge/${PN}/${MY_PN}-${PV}.tar.gz"
14
15 LICENSE="MIT"
16 SLOT="0"
17 KEYWORDS="~amd64 ~x86"
18 IUSE=""
19
20 RDEPEND="virtual/emacs
21 app-emacs/haskell-mode"
22 DEPEND="${RDEPEND}
23 dev-lang/ghc
24 dev-haskell/mtl"
25
26 SITEFILE="50${PN}-gentoo.el"
27
28 src_prepare() {
29 epatch "${FILESDIR}"/${PN}-make_install.patch
30 epatch "${FILESDIR}"/${P}-upstream-fixes.patch
31 sed -e "s:-package lang::" -i src/Makefile.in \
32 || die "Failed to fix Makfile.in"
33 }
34
35 src_configure() {
36 econf --enable-newsyntax
37 }
38
39 src_install() {
40 emake -C src ROOT="${D}" install || die "emake install failed"
41 dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda
42 dosym emacsagda /usr/bin/agda
43
44 elisp-install ${PN} elisp/agda-mode.el || die
45 elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
46 }
47
48 pkg_postinst() {
49 elisp-site-regen
50 }
51
52 pkg_postrm() {
53 elisp-site-regen
54 }

  ViewVC Help
Powered by ViewVC 1.1.20