* [gentoo-commits] gentoo-x86 commit in sci-mathematics/twelf: metadata.xml twelf-1.7.1.ebuild ChangeLog
@ 2014-01-06 14:26 Justin Lecher (jlec)
0 siblings, 0 replies; only message in thread
From: Justin Lecher (jlec) @ 2014-01-06 14:26 UTC (permalink / raw
To: gentoo-commits
jlec 14/01/06 14:26:39
Modified: metadata.xml twelf-1.7.1.ebuild ChangeLog
Log:
sci-mathematics/twelf: Punt base.eclass
(Portage version: 2.2.8/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
Revision Changes Path
1.3 sci-mathematics/twelf/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/metadata.xml?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/metadata.xml?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/metadata.xml?r1=1.2&r2=1.3
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/metadata.xml,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- metadata.xml 24 May 2013 05:51:46 -0000 1.2
+++ metadata.xml 6 Jan 2014 14:26:39 -0000 1.3
@@ -1,11 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<maintainer>
- <email>gienah@gentoo.org</email>
- <name>Mark Wright</name>
-</maintainer>
-<longdescription lang='en'>
+ <maintainer>
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
+ <longdescription lang="en">
Twelf is an implementation of the logical framework LF. It is used for
logic programming and for the formalization of programming language
theory.
1.3 sci-mathematics/twelf/twelf-1.7.1.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild?r1=1.2&r2=1.3
Index: twelf-1.7.1.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- twelf-1.7.1.ebuild 12 Dec 2012 13:12:19 -0000 1.2
+++ twelf-1.7.1.ebuild 6 Jan 2014 14:26:39 -0000 1.3
@@ -1,15 +1,15 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2014 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v 1.2 2012/12/12 13:12:19 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/twelf-1.7.1.ebuild,v 1.3 2014/01/06 14:26:39 jlec Exp $
-EAPI="5"
+EAPI=5
-inherit base elisp-common multilib
+inherit elisp-common eutils multilib
MY_PN="${PN}-src"
MY_P="${MY_PN}-${PV}"
-DESCRIPTION="Twelf is an implementation of the logical framework LF."
+DESCRIPTION="Implementation of the logical framework LF"
HOMEPAGE="http://twelf.org/"
SRC_URI="http://twelf.plparty.org/releases/${MY_P}.tar.gz"
@@ -17,31 +17,32 @@
KEYWORDS="~amd64 ~x86"
LICENSE="BSD-2"
IUSE="doc emacs examples"
+
# tests reference non-existing directory TEST
RESTRICT="test"
-RDEPEND="dev-lang/mlton
- doc? (
- virtual/latex-base
- )
- emacs? (
- virtual/emacs
- )"
+RDEPEND="
+ dev-lang/mlton
+ doc? ( virtual/latex-base )
+ emacs? ( virtual/emacs )"
DEPEND="${RDEPEND}"
S=${WORKDIR}/${PN}
SITEFILE=50${PN}-gentoo.el
-PATCHES=("${FILESDIR}/${PN}-1.7.1-doc-guide-twelf-dot-texi.patch"
- "${FILESDIR}/${PN}-1.7.1-doc-guide-Makefile.patch"
- "${FILESDIR}/${PN}-1.7.1-emacs-twelf.patch"
- "${FILESDIR}/${PN}-1.7.1-emacs-twelf-init.patch"
- "${FILESDIR}/${PN}-1.7.1-Makefile.patch")
+PATCHES=(
+ "${FILESDIR}"/${PN}-1.7.1-doc-guide-twelf-dot-texi.patch
+ "${FILESDIR}"/${PN}-1.7.1-doc-guide-Makefile.patch
+ "${FILESDIR}"/${PN}-1.7.1-emacs-twelf.patch
+ "${FILESDIR}"/${PN}-1.7.1-emacs-twelf-init.patch
+ "${FILESDIR}"/${PN}-1.7.1-Makefile.patch
+ )
src_prepare() {
- base_src_prepare
- sed -e "s@/usr/bin@${ROOT}usr/bin@g" \
+ epatch ${PATCHES[@]}
+ sed \
+ -e "s@/usr/bin@${ROOT}usr/bin@g" \
-e "s@/usr/share@${ROOT}usr/share@" \
-i "${S}"/emacs/twelf-init.el \
|| die "Could not set ROOT in ${S}/emacs/twelf-init.el"
@@ -50,26 +51,25 @@
src_compile() {
emake mlton CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
if use emacs ; then
- pushd "${S}/emacs" || die "Could change directory to emacs"
+ pushd "${S}/emacs" > /dev/null || die "Could change directory to emacs"
elisp-compile \
auc-menu.el \
twelf-font.el \
twelf-init.el \
twelf.el \
|| die "emacs elisp compile failed"
- popd
+ popd > /dev/null
fi
if use doc; then
- pushd doc/guide
+ pushd doc/guide > /dev/null || die
emake all
- popd
+ popd > /dev/null
fi
}
ins_example_dir() {
- dodir "/usr/share/${PN}/examples/${1}"
insinto "/usr/share/${PN}/examples/${1}"
- pushd "${S}/${1}"
+ pushd "${S}/${1}" > /dev/null || die
doins -r *
popd
}
@@ -85,8 +85,7 @@
ins_example_dir examples-clp
ins_example_dir examples-delphin
fi
- exeinto /usr/bin
- doexe bin/twelf-server
+ dobin bin/twelf-server
dohtml doc/html/index.html
doinfo doc/guide/twelf.info
dodoc doc/guide/twelf.dvi doc/guide/twelf.ps doc/guide/twelf.pdf
@@ -96,9 +95,9 @@
pkg_postinst() {
if use emacs; then
elisp-site-regen
- ewarn "For twelf emacs, add this line to ~/.emacs"
- ewarn ""
- ewarn '(load (concat twelf-root "/twelf-init.el"))'
+ elog "For twelf emacs, add this line to ~/.emacs"
+ echo ""
+ elog '(load (concat twelf-root "/twelf-init.el"))'
fi
}
1.4 sci-mathematics/twelf/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/ChangeLog?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/ChangeLog?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/twelf/ChangeLog?r1=1.3&r2=1.4
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ChangeLog 24 May 2013 05:51:46 -0000 1.3
+++ ChangeLog 6 Jan 2014 14:26:39 -0000 1.4
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/twelf
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.3 2013/05/24 05:51:46 gienah Exp $
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.4 2014/01/06 14:26:39 jlec Exp $
+
+ 06 Jan 2014; Justin Lecher <jlec@gentoo.org> twelf-1.7.1.ebuild,
+ metadata.xml:
+ Punt base.eclass
24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
fix bug 466776 - typo in email address
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-01-06 14:26 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-01-06 14:26 [gentoo-commits] gentoo-x86 commit in sci-mathematics/twelf: metadata.xml twelf-1.7.1.ebuild ChangeLog Justin Lecher (jlec)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox