dev-lang/maude/maude-2.3.0.ebuild

# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.3.0.ebuild,v 1.1 2008/06/04 03:40:46 markusle Exp $

inherit toolchain-funcs eutils versionator

MY_PN="${PN/m/M}"
MY_PV=$(get_version_component_range 1-2)

DESCRIPTION="Maude - A high-level specification language"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_PN}-${MY_PV}.tar.gz
                mirror://gentoo/${P}-extras.tar.bz2"

LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~x86 ~ppc ~amd64"

IUSE="doc"

RDEPEND="sci-libs/buddy
        dev-libs/libtecla
        >=dev-libs/gmp-4.1.3"

DEPEND="${RDEPEND}
        sys-devel/bison
        sys-devel/flex"

S="${WORKDIR}"/${MY_PN}-${MY_PV}

src_compile() {
        econf || die "econf failed"
        emake -j1 || die "emake failed"
}

src_install() {
        make install DESTDIR="${D}" || die "make install failed"
        dodoc AUTHORS ChangeLog NEWS README

        insinto /usr/share/${PN}
        doins -r src/Main/*.maude \
                || die "failed to install data files"

        # Sets the full maude library path.
        doenvd "${FILESDIR}"/23maude

        # install full maude
        cd "${WORKDIR}"/${P}-extras
        doins full-maude.maude

        # install docs and examples
        if use doc; then
                insinto /usr/share/doc/${P}
                doins -r pdfs/*  || die "failed to install pdf files"

                insinto /usr/share/${PN}/
                doins -r manual-examples primer-examples \
                        || die "failed to install example files"
        fi
}
1	markusle	1.1	# Copyright 1999-2008 Gentoo Foundation
2			# Distributed under the terms of the GNU General Public License v2
3	mr_bones_	1.2	# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.3.0.ebuild,v 1.1 2008/06/04 03:40:46 markusle Exp $
4	markusle	1.1
5			inherit toolchain-funcs eutils versionator
6
7			MY_PN="${PN/m/M}"
8			MY_PV=$(get_version_component_range 1-2)
9
10			DESCRIPTION="Maude - A high-level specification language"
11			HOMEPAGE="http://maude.cs.uiuc.edu/"
12			SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_PN}-${MY_PV}.tar.gz
13			mirror://gentoo/${P}-extras.tar.bz2"
14
15			LICENSE="GPL-2"
16			SLOT="0"
17			KEYWORDS="~x86 ~ppc ~amd64"
18
19			IUSE="doc"
20
21			RDEPEND="sci-libs/buddy
22			dev-libs/libtecla
23			>=dev-libs/gmp-4.1.3"
24
25			DEPEND="${RDEPEND}
26			sys-devel/bison
27			sys-devel/flex"
28
29			S="${WORKDIR}"/${MY_PN}-${MY_PV}
30
31			src_compile() {
32			econf \|\| die "econf failed"
33			emake -j1 \|\| die "emake failed"
34			}
35
36			src_install() {
37			make install DESTDIR="${D}" \|\| die "make install failed"
38			dodoc AUTHORS ChangeLog NEWS README
39
40			insinto /usr/share/${PN}
41			doins -r src/Main/*.maude \
42			\|\| die "failed to install data files"
43
44			# Sets the full maude library path.
45			doenvd "${FILESDIR}"/23maude
46
47			# install full maude
48			cd "${WORKDIR}"/${P}-extras
49			doins full-maude.maude
50
51			# install docs and examples
52			if use doc; then
53			insinto /usr/share/doc/${P}
54			doins -r pdfs/* \|\| die "failed to install pdf files"
55
56			insinto /usr/share/${PN}/
57			doins -r manual-examples primer-examples \
58			\|\| die "failed to install example files"
59			fi
60			}