maude-2.4.ebuild

maude-2.4.ebuild (text/plain), 1.06 KB, created by Peter Simons on 2008-12-12 00:05:15 UTC

# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header$

inherit toolchain-funcs eutils

MY_PN="${PN/m/M}"

DESCRIPTION="Maude - A high-level specification language"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="http://maude.cs.uiuc.edu/download/current/${MY_PN}-${PV}.tar.gz
	http://maude.cs.uiuc.edu/download/current/FM${PV}/full-maude${PV/./}.maude"

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

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

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

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

src_compile() {
	econf --datadir="/usr/share/${PN}" || die "econf failed"
	emake -j1 || die "emake failed"
}

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

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

	# Install full-maude.
	insinto "/usr/share/${PN}"
	newins "${DISTDIR}/full-maude24.maude" full-maude.maude \
		|| die "failed to install full-maude"
}