diff options
| author |   Mamoru Komachi <usata@gentoo.org> | 2004-03-15 01:28:10 +0000 |
|---|---|---|
| committer | Mamoru Komachi <usata@gentoo.org> | 2004-03-15 01:28:10 +0000 |
| commit | 3c3cba942fbdeaf9837fc6406f384cdcc061f9a4 (patch) | |
| tree | bccc932f14decd3637130cf96492cbac5ffc5bbc /app-emacs/proofgeneral | |
| parent | Removed readonly assignment to D, see bug #44712 (Manifest recommit) (diff) | |
| download | gentoo-2-3c3cba942fbdeaf9837fc6406f384cdcc061f9a4.tar.gz gentoo-2-3c3cba942fbdeaf9837fc6406f384cdcc061f9a4.tar.bz2 gentoo-2-3c3cba942fbdeaf9837fc6406f384cdcc061f9a4.zip | |
Fixed readonly variable assignment to PN and P. See bug #44712
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.4.ebuild | 10 |
2 files changed, 8 insertions, 7 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 4dfd974c5e83..bcfdce1f753f 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # 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.2 2004/01/22 21:36:57 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.3 2004/03/15 01:28:10 usata Exp $ + + 15 Mar 2004; Mamoru KOMACHI <usata@gentoo.org> proofgeneral-3.4.ebuild: + Fixed readonly variable assignment to PN and P. See bug #44712 22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: Fix URI's, site has changed location. diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild index b197ab3f2270..276b9d2b11da 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild @@ -1,31 +1,29 @@ # 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.4.ebuild,v 1.2 2004/01/22 21:36:57 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.3 2004/03/15 01:28:10 usata Exp $ SIMPLE_ELISP='nil' inherit elisp IUSE="" -PN="ProofGeneral" -P="$PN-$PV" +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/${P}.tar.gz" +SRC_URI="http://proofgeneral.inf.ed.ac.uk/${MY_PN}-${PV}.tar.gz" LICENSE="GPL-2" SLOT="0" KEYWORDS="~x86 ~ppc" DEPEND="virtual/emacs" -S="${WORKDIR}/${PN}" +S="${WORKDIR}/${MY_PN}" SITEFILE=50proofgeneral-gentoo.el src_compile() { einfo "Byte compilation not supported yet (see the INSTALL file)" - } src_install() { |