diff options
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 8 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 4 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.5 | 1 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 55 |
4 files changed, 66 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index c860b9dbcfaa..210c156e412c 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.4 2004/06/20 12:37:09 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.5 2004/06/20 13:15:13 mattam Exp $ + +*proofgeneral-3.5 (20 Jun 2004) + + 20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.5.ebuild: + New version, we now use their makefile (not always non-interactive) and + site file. 20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: Move to stable. diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 3383b11c3479..844162d9f545 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,7 @@ -MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776 +MD5 0ac69bc707aede178cd203c75cea0d32 ChangeLog 973 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275 +MD5 02195fadaf8290e87a62e877d82a991b proofgeneral-3.5.ebuild 1333 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 +MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 new file mode 100644 index 000000000000..4a7a7c325bce --- /dev/null +++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5 @@ -0,0 +1 @@ +MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956 diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild new file mode 100644 index 000000000000..d32acb6c49b6 --- /dev/null +++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild @@ -0,0 +1,55 @@ +# Copyright 1999-2004 Gentoo Technologies, Inc. +# 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.1 2004/06/20 13:15:13 mattam Exp $ + +SIMPLE_ELISP='nil' +inherit elisp + +MY_PN="ProofGeneral" + +DESCRIPTION="Proof General is 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" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~x86 ~ppc" +IUSE="" + +DEPEND="virtual/emacs" + +S="${WORKDIR}/${MY_PN}" + +SITEFILE=50proofgeneral-gentoo.el + +src_compile() { + echo "" | make compile EMACS=emacs +} + +src_install() { + 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 + 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 +} + +pkg_postinst() { + elisp-site-regen + einfo "Please register your use of Proof General on the web at:" + einfo " http://proofgeneral.inf.ed.ac.uk/register " + einfo "(see the REGISTER file for more information)" +} + +pkg_postrm() { + elisp-site-regen +} |