ChangeLog

# ChangeLog for dev-lang/maude
# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.11 2008/06/04 03:40:46 markusle Exp $

*maude-2.3.0 (04 Jun 2008)

04 Jun 2008; Markus Dittrich maude-2.1.1-r2.ebuild,
+maude-2.3.0.ebuild:
Version bump and general QA fixes (see bug #119583).

28 Apr 2007; Sven Wegener maude-2.1.1-r2.ebuild:
Fix *initd, *confd and *envd calls (#17388, #174266)

09 Feb 2007; Diego Pettenò ChangeLog:
Regenerate digest in Manifest2 format.

17 Jan 2005; Patrick Kursawe maude-2.1.1-r2.ebuild:
Changed DEPEND and added pkg_setup gcc version check because of bug #77856

28 Dec 2004; Olivier Fisette maude-2.1.1-r2.ebuild:
Dependency update: dev-libs/buddy -> sci-libs/buddy.

*maude-2.1.1-r2 (11 Oct 2004)

11 Oct 2004; Patrick Kursawe
+files/2.1.1-gcc3.4.patch, +maude-2.1.1-r2.ebuild, -maude-2.1.ebuild:
Much better patch provided by Steven Eker. Thanks!

*maude-2.1.1-r1 (04 Oct 2004)

04 Oct 2004; Patrick Kursawe +maude-2.1.1-r1.ebuild,
-maude-2.1.ebuild:
Patched for gcc 3.4, but still masked - current gcc does not yet have
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17259
fixed. Should work with gcc 3.4.3.

30 Aug 2004; David Holm maude-2.1.1.ebuild:
Added to ~ppc.

*maude-2.1.1 (11 Aug 2004)

11 Aug 2004; Olivier Fisette maude-2.1.1.ebuild:
Version bump; revised ebuild, added primer examples and regression test.

01 Jul 2004; Jeremy Huddleston maude-2.1.ebuild:
virtual/glibc -> virtual/libc

*maude-2.1 (27 May 2004)

27 May 2004; Patrick Kursawe maude-2.1.ebuild,
metadata.xml, files/23maude:
Initial import, ebuild by Peter Simons and
olivier.fisette@sympatico.ca - see bug #39399

Manifest

AUX 2.1.1-gcc3.4.patch 7809 RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b SHA1 57427211adfff03dce82740d3e2b8fd65d08dedf SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6
AUX 23maude 27 RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 SHA1 2cb50693a1968feabedae8e7a32d0c3c0cc41bc7 SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e
DIST Maude-2.3.tar.gz 1441239 RMD160 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995 SHA1 68fbe7f76db1a5a5bb748cb751c5015d60c476d0 SHA256 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
DIST maude-2.1.1.tar.bz2 874308 RMD160 ae2891f24cce16801a49a90ba43428ef015398cf SHA1 0a976d9215288d6e3835093d6206415f7ee2f387 SHA256 8dd3d80c5cb1752fef6f2d2824175bf1077509e7bf03c38e4b78e40aa95eb8d2
DIST maude-2.3.0-extras.tar.bz2 2871587 RMD160 dd61d0cfa517d29031e55300376b32fd3173bfba SHA1 fcc6f8dab0c26d7bfe03a4bcf37417f6c315cd3f SHA256 0dd0d71cb5a1463c9888303c1ed74c6d373d6aa60a9a45660e92f3308730a54d
DIST maude-full-doc-2.1.1.tar.bz2 3047855 RMD160 de4fc555f686bd6d62aaaf3289b026143e429412 SHA1 23186afa0fba59baa504fab2efdc6e31297e08db SHA256 9d6ae27ffbb525c08dc3474bf010c88703ba552fde2e8134066b0d69951a9b49
EBUILD maude-2.1.1-r2.ebuild 1667 RMD160 c382a5fe12f1293d9a0dffc6bf035120354eabec SHA1 b0dfd2f960721cad938c05cbdbe2893f25602147 SHA256 dec08bb93466acafd4ba4ab8cbe9b3ef694dabfa1025c9a7f1defdb8b3440ac9
EBUILD maude-2.3.0.ebuild 1445 RMD160 177f0a9704e31b2d19b80de61cb901bdeb1eb533 SHA1 171ca91b78cf0857defad69dce1abddf7f11a2d7 SHA256 24d97e599ee3e3e6fa364a415645d56b1a72fdf14718f0fb6bd825d8889a6d13
MISC ChangeLog 2023 RMD160 f97a9d19e9473ae9508897396e7de8faa506aa87 SHA1 eb374666d0c18a3be178f46d14a731a25841c009 SHA256 93cefe6064a00966809250720874707ae3f129759b897209570dd9897213496e
MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21

files

maude-2.1.1-r2.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.1.1-r2.ebuild,v 1.5 2008/06/04 03:40:46 markusle Exp $

inherit toolchain-funcs eutils

DESCRIPTION="Maude - A high-level specification language"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="mirror://gentoo/${P}.tar.bz2
mirror://gentoo/${PN}-full-doc-${PV}.tar.bz2"

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

IUSE="doc"

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

DEPEND="${RDEPEND}
sys-devel/bison
sys-devel/flex
|| ( >=sys-devel/gcc-3.4.3
=sys-devel/gcc-3.3* )"

pkg_setup() {
if [ "$(gcc-version)" = "3.4" ]; then
if [ "$(gcc-micro-version)" -lt 3 ]; then
eerror "Need gcc 3.3.x or >= 3.4.3"
die "Wrong gcc version"
fi
fi
}

src_unpack() {
unpack ${A}
cd "${S}"
epatch "${FILESDIR}"/${PV}-gcc3.4.patch
}

src_compile() {
# econf/emake fails with a "file not found" error.
./configure --bindir=/usr/bin --datadir=/usr/share/${PN} || die
make || die
}

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

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

cd "${WORKDIR}"/${PN}-full-doc-${PV}

# Full maude library
insinto /usr/share/${PN}
doins full-maude.maude

insinto /usr/share/doc/${P}/pdf
doins maude-manual.pdf maude-primer.pdf
insinto /usr/share/doc/${P}/ps
doins maude-manual.ps

if use doc; then
insinto /usr/share/${PN}/examples
doins maude-examples/*
insinto /usr/share/${PN}/primer-examples
doins examples/*
fi
}

src_test() {
pwd
make check || die
}

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.2 2008/06/04 15:55:37 mr_bones_ 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
}

metadata.xml




sci

Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for a
wide range of applications. Maude has been influenced in important ways
by the OBJ3 language, which can be regarded as an equational logic
sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.