[gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral: ChangeLog proofgeneral-3.7.ebuild

[Ulrich Mueller (ulm)]

ulm         08/02/27 21:26:46

  Modified:             ChangeLog
  Added:                proofgeneral-3.7.ebuild
  Log:
  Version bump. Properly install site file, fixes bug 211658.
  (Portage version: 2.1.4.4)

Revision  Changes    Path
1.19                 app-emacs/proofgeneral/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.19&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.19&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/ChangeLog?r1=1.18&r2=1.19

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- ChangeLog	16 Oct 2007 06:27:25 -0000	1.18
+++ ChangeLog	27 Feb 2008 21:26:46 -0000	1.19
@@ -1,6 +1,13 @@
 # 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.18 2007/10/16 06:27:25 opfer Exp $
+# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.19 2008/02/27 21:26:46 ulm Exp $
+
+*proofgeneral-3.7 (27 Feb 2008)
+
+  27 Feb 2008; Ulrich Mueller <ulm@g.o>
+  files/50proofgeneral-gentoo.el, +proofgeneral-3.7.ebuild:
+  Version bump. Use our own site file and install it in the proper location,
+  fixes bug 211658. Some cleanup of the ebuild.
 
   16 Oct 2007; Christian Faulhammer <opfer@g.o>
   proofgeneral-3.5-r1.ebuild:



1.1                  app-emacs/proofgeneral/proofgeneral-3.7.ebuild

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild?rev=1.1&content-type=text/plain

Index: proofgeneral-3.7.ebuild
===================================================================
# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.1 2008/02/27 21:26:46 ulm Exp $

inherit elisp

MY_PN="ProofGeneral"
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}.tgz"

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

S="${WORKDIR}/${MY_PN}-${PV}"
SITEFILE=50${PN}-gentoo.el

src_compile() {
	emake compile EMACS=emacs
}

src_install() {
	emake install EMACS=emacs PREFIX="${D}"/usr

	dohtml doc/*.html doc/*.jpg
	doinfo doc/*.info*
	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER TODO

	elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \
		|| die "elisp-site-file-install failed"

	# clean up
	rm -rf "${D}/usr/share/emacs/site-lisp/site-start.d"
	rm -rf "${D}/usr/share/application-registry"
	rm -rf "${D}/usr/share/mime-info"
}

pkg_postinst() {
	elisp-site-regen
	elog "Please register your use of Proof General on the web at:"
	elog "  http://proofgeneral.inf.ed.ac.uk/register "
	elog "(see the REGISTER file for more information)"
}



-- 
gentoo-commits@l.g.o mailing list