From: "Justin Lecher (jlec)" <jlec@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/twelf: metadata.xml twelf-1.7.1.ebuild ChangeLog
Date: Mon, 6 Jan 2014 14:26:39 +0000 (UTC) [thread overview]
Message-ID: <20140106142639.BE4D82004C@flycatcher.gentoo.org> (raw)
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
reply other threads:[~2014-01-06 14:26 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20140106142639.BE4D82004C@flycatcher.gentoo.org \
--to=jlec@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox