diff options
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-3.5.ebuild')
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 55 |
1 files changed, 55 insertions, 0 deletions
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 +} |