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

[Ulrich Mueller (ulm)]

ulm         09/01/30 06:47:52

  Modified:             ChangeLog proofgeneral-3.7.ebuild
  Added:                proofgeneral-3.7.1.ebuild
  Log:
  Version bump. Remove missing file from dodoc arguments, bug 256683.
  (Portage version: 2.2_rc23/cvs/Linux i686)

Revision  Changes    Path
1.25                 app-emacs/proofgeneral/ChangeLog

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

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -r1.24 -r1.25
--- ChangeLog	6 Dec 2008 17:23:50 -0000	1.24
+++ ChangeLog	30 Jan 2009 06:47:52 -0000	1.25
@@ -1,6 +1,12 @@
 # ChangeLog for app-emacs/proofgeneral
-# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.24 2008/12/06 17:23:50 fauli Exp $
+# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.25 2009/01/30 06:47:52 ulm Exp $
+
+*proofgeneral-3.7.1 (30 Jan 2009)
+
+  30 Jan 2009; Ulrich Mueller <ulm@g.o> proofgeneral-3.7.ebuild,
+  +proofgeneral-3.7.1.ebuild:
+  Version bump. Remove missing file from dodoc arguments, bug 256683.
 
   06 Dec 2008; Christian Faulhammer <fauli@g.o>
   -files/proofgeneral-3.5_isabelle-non-interactive.patch,



1.5                  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.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild?r1=1.4&r2=1.5

Index: proofgeneral-3.7.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- proofgeneral-3.7.ebuild	12 Apr 2008 08:58:07 -0000	1.4
+++ proofgeneral-3.7.ebuild	30 Jan 2009 06:47:52 -0000	1.5
@@ -1,6 +1,6 @@
-# Copyright 1999-2008 Gentoo Foundation
+# Copyright 1999-2009 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.4 2008/04/12 08:58:07 nixnut Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.5 2009/01/30 06:47:52 ulm Exp $
 
 inherit elisp
 
@@ -15,7 +15,7 @@
 IUSE=""
 
 S="${WORKDIR}/${MY_PN}-${PV}"
-SITEFILE=50${PN}-gentoo.el
+SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
 	emake compile EMACS=emacs
@@ -26,7 +26,7 @@
 
 	dohtml doc/*.html doc/*.jpg
 	doinfo doc/*.info*
-	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER TODO
+	dodoc AUTHORS BUGS CHANGES COMPATIBILITY FAQ INSTALL README REGISTER
 
 	elisp-site-file-install "${FILESDIR}/${SITEFILE}" ${MY_PN} \
 		|| die "elisp-site-file-install failed"



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

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

Index: proofgeneral-3.7.1.ebuild
===================================================================
# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild,v 1.1 2009/01/30 06:47:52 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 FUTURE INSTALL README REGISTER

	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)"
}