* [gentoo-commits] gentoo-x86 commit in dev-lang/maude: metadata.xml maude-2.6-r1.ebuild ChangeLog maude-2.5.0.ebuild maude-2.3.0.ebuild maude-2.6.ebuild
@ 2013-11-06 18:01 Sebastien Fabbro (bicatali)
0 siblings, 0 replies; only message in thread
From: Sebastien Fabbro (bicatali) @ 2013-11-06 18:01 UTC (permalink / raw
To: gentoo-commits
bicatali 13/11/06 18:01:37
Modified: metadata.xml ChangeLog
Added: maude-2.6-r1.ebuild
Removed: maude-2.5.0.ebuild maude-2.3.0.ebuild
maude-2.6.ebuild
Log:
Fixed with newer gcc (bug #454072), build in source fixing bug #488450, switch to EAPI5, separate doc and examples flags, include patch from Debian to look for datadir at compile time removing the need to define MAUDE_LIB system-wide, removed older ebuilds which do not build anymore
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
Revision Changes Path
1.2 dev-lang/maude/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/metadata.xml?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/metadata.xml?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/metadata.xml?r1=1.1&r2=1.2
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/maude/metadata.xml,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- metadata.xml 27 May 2004 10:10:55 -0000 1.1
+++ metadata.xml 6 Nov 2013 18:01:37 -0000 1.2
@@ -1,13 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <herd>sci</herd>
- <longdescription>
- 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.
- </longdescription>
+<herd>sci</herd>
+<longdescription>
+ 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.
+</longdescription>
</pkgmetadata>
1.16 dev-lang/maude/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/ChangeLog?rev=1.16&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/ChangeLog?rev=1.16&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/ChangeLog?r1=1.15&r2=1.16
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -r1.15 -r1.16
--- ChangeLog 26 Jan 2012 17:51:48 -0000 1.15
+++ ChangeLog 6 Nov 2013 18:01:37 -0000 1.16
@@ -1,6 +1,18 @@
# ChangeLog for dev-lang/maude
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.15 2012/01/26 17:51:48 jlec Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/ChangeLog,v 1.16 2013/11/06 18:01:37 bicatali Exp $
+
+*maude-2.6-r1 (06 Nov 2013)
+
+ 06 Nov 2013; Sébastien Fabbro <bicatali@gentoo.org>
+ +files/maude-2.6-gcc47.patch, +files/maude-2.6-search-datadir.patch,
+ +maude-2.6-r1.ebuild, -files/2.1.1-gcc3.4.patch, -files/23maude,
+ -files/maude-2.3.0-gcc43.patch, -maude-2.3.0.ebuild, -maude-2.5.0.ebuild,
+ -maude-2.6.ebuild, metadata.xml:
+ Fixed with newer gcc (bug #454072), build in source fixing bug #488450, switch
+ to EAPI5, separate doc and examples flags, include patch from Debian to look
+ for datadir at compile time removing the need to define MAUDE_LIB system-wide,
+ removed older ebuilds which do not build anymore
*maude-2.6 (26 Jan 2012)
@@ -69,4 +81,3 @@
metadata.xml, files/23maude:
Initial import, ebuild by Peter Simons <simons+gentoo@cryp.to> and
olivier.fisette@sympatico.ca - see bug #39399
-
1.1 dev-lang/maude/maude-2.6-r1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/maude-2.6-r1.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-lang/maude/maude-2.6-r1.ebuild?rev=1.1&content-type=text/plain
Index: maude-2.6-r1.ebuild
===================================================================
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-lang/maude/maude-2.6-r1.ebuild,v 1.1 2013/11/06 18:01:37 bicatali Exp $
EAPI=5
AUTOTOOLS_AUTORECONF=1
AUTOTOOLS_IN_SOURCE_BUILD=1
inherit autotools-utils versionator
MYP="${PN/m/M}-$(get_version_component_range 1-2)"
DESCRIPTION="High-level specification language for equational and logic programming"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="
http://maude.cs.uiuc.edu/download/current/${MYP}.tar.gz
http://dev.gentoo.org/~jlec/distfiles/${P}-extras.tar.xz"
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND="
>=dev-libs/gmp-4.1.3
dev-libs/libsigsegv
dev-libs/libtecla
sci-libs/buddy"
DEPEND="${RDEPEND}
sys-devel/bison
sys-devel/flex"
S="${WORKDIR}/${MYP}"
PATCHES=(
"${FILESDIR}"/${PN}-2.5.0-prll.patch
"${FILESDIR}"/${PN}-2.6-search-datadir.patch
"${FILESDIR}"/${PN}-2.6-gcc47.patch
)
src_configure() {
local myeconfargs=(
--datadir="${EPREFIX}/usr/share/${PN}"
)
sed -i -e "s:/usr:${EPREFIX}/usr:g" src/Mixfix/global.hh || die
autotools-utils_src_configure
}
src_install() {
autotools-utils_src_install
# install data and full maude
insinto /usr/share/${PN}
doins -r src/Main/*.maude
doins "${WORKDIR}"/${P}-extras/full-maude.maude
# install docs and examples
use doc && doins -r "${WORKDIR}"/${P}-extras/pdfs/*
if use examples; then
insinto /usr/share/doc/${PF}/examples
doins -r "${WORKDIR}"/${P}-extras/{manual,primer}-examples
fi
}
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-11-06 18:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-11-06 18:01 [gentoo-commits] gentoo-x86 commit in dev-lang/maude: metadata.xml maude-2.6-r1.ebuild ChangeLog maude-2.5.0.ebuild maude-2.3.0.ebuild maude-2.6.ebuild Sebastien Fabbro (bicatali)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox