diff options
| author | Sergey Matveychuk <sem@FreeBSD.org> | 2006-05-01 18:00:51 +0000 |
|---|---|---|
| committer | Sergey Matveychuk <sem@FreeBSD.org> | 2006-05-01 18:00:51 +0000 |
| commit | 7a50243ff9a03840d80938028c7d6823e4518820 (patch) | |
| tree | 0732e4a86565c48be11f03bb01f5f02f0ecc21cb /math/proofgeneral/Makefile | |
| parent | a84bae4b1ed4dcb28e3f28e26e88d617a8febe9c (diff) | |
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
| -rw-r--r-- | math/proofgeneral/Makefile | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index e391d0660df5..16ba4b39cd66 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -6,13 +6,10 @@ # PORTNAME= proofgeneral -PORTVERSION= 3.5 +PORTVERSION= 3.6 CATEGORIES= math elisp -MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ \ - http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/contrib/ \ - http://isabelle.in.tum.de/dist/contrib/ \ - http://mirror.cse.unsw.edu.au/pub/isabelle/contrib/ -DISTNAME= ProofGeneral-3.5 +MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ +DISTNAME= ProofGeneral-3.6pre051004 MAINTAINER= timbob@bigpond.com COMMENT= A generic interface for proof assistants @@ -70,16 +67,12 @@ BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base .endif post-patch: - @${TOUCH} -m -r ${WRKSRC}/generic/proof-menu.el.orig \ - ${WRKSRC}/generic/proof-menu.el @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ ${WRKSRC}/etc/desktop/proofgeneral.desktop + ${TOUCH} ${WRKSRC}/.byte-compile pre-build: .if defined(BYTE_COMPILE) - @${ECHO_CMD} "************************************************************" - @${ECHO_CMD} "* Byte compilation may not work properly for all files... *" - @${ECHO_CMD} "************************************************************" @${RM} ${WRKSRC}/.byte-compile .endif |