diff options
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | 7 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 17 |
3 files changed, 15 insertions, 15 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 8bb7fb840dcd..475fec23342f 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.13 2007/07/03 07:30:25 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.14 2007/10/07 07:27:18 ulm Exp $ + + 07 Oct 2007; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.5.ebuild, + proofgeneral-3.5-r1.ebuild: + Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables. 03 Jul 2007; Christian Faulhammer <opfer@gentoo.org> proofgeneral-3.5-r1.ebuild: diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild index 74c96d31cbe3..31be08087286 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild @@ -1,8 +1,7 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.3 2007/07/03 07:30:25 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.4 2007/10/07 07:27:18 ulm Exp $ -SIMPLE_ELISP='nil' inherit elisp eutils MY_PN="ProofGeneral" @@ -18,7 +17,7 @@ IUSE="" S="${WORKDIR}/${MY_PN}" -SITEFILE=50proofgeneral-gentoo.el +SITEFILE=50${PN}-gentoo.el src_unpack() { unpack ${A} @@ -31,7 +30,7 @@ src_compile() { } src_install() { - emake install EMACS=emacs PREFIX=${D}/usr + emake install EMACS=emacs PREFIX="${D}"/usr dohtml doc/*.html doc/*.jpg doinfo doc/*.info* diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild index 149ede3b7715..aec1e4b3063c 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild @@ -1,13 +1,12 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.6 2007/01/28 04:26:49 genone Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.7 2007/10/07 07:27:18 ulm Exp $ -SIMPLE_ELISP='nil' inherit elisp MY_PN="ProofGeneral" -DESCRIPTION="Proof General is a generic interface for proof assistants" +DESCRIPTION="A generic interface for proof assistants" HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz" @@ -16,31 +15,29 @@ SLOT="0" KEYWORDS="~amd64 ppc x86" IUSE="" -DEPEND="virtual/emacs" - S="${WORKDIR}/${MY_PN}" -SITEFILE=50proofgeneral-gentoo.el +SITEFILE=50${PN}-gentoo.el src_compile() { echo "" | make compile EMACS=emacs } src_install() { - make install EMACS=emacs PREFIX=${D}/usr + make install EMACS=emacs PREFIX="${D}"/usr dohtml doc/*.html doc/*.jpg doinfo doc/*.info* dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER # We directly use the site file of the package - cd ${D}/usr/share/emacs/site-lisp + cd "${D}/usr/share/emacs/site-lisp" mv site-start.d/pg-init.el ${SITEFILE} # clean up rmdir site-start.d - rm -rf ${D}/usr/share/application-registry - rm -rf ${D}/usr/share/mime-info + rm -rf "${D}/usr/share/application-registry" + rm -rf "${D}/usr/share/mime-info" } pkg_postinst() { |