diff options
| author | sem <sem@FreeBSD.org> | 2006-05-02 02:00:51 +0800 |
|---|---|---|
| committer | sem <sem@FreeBSD.org> | 2006-05-02 02:00:51 +0800 |
| commit | a586ab726c0e1666c054c432b03c7e12e1430ef7 (patch) | |
| tree | 93a05550d55a68f87510d52c8a1b6848d6e5a69b /math/proofgeneral/Makefile | |
| parent | 4d4b87015b3c51ee052ca0a434b903fe3e5d196c (diff) | |
| download | freebsd-ports-gnome-a586ab726c0e1666c054c432b03c7e12e1430ef7.tar.gz freebsd-ports-gnome-a586ab726c0e1666c054c432b03c7e12e1430ef7.tar.zst freebsd-ports-gnome-a586ab726c0e1666c054c432b03c7e12e1430ef7.zip | |
- Update to 3.6
PR: ports/94670
Submitted by: maintainer
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 |