diff options
| author | Danilo Egea Gondolfo <danilo@FreeBSD.org> | 2014-07-16 16:53:37 +0000 |
|---|---|---|
| committer | Danilo Egea Gondolfo <danilo@FreeBSD.org> | 2014-07-16 16:53:37 +0000 |
| commit | 6e14842c1b0da0b6754e319a8344a90119165c0b (patch) | |
| tree | 7a146b65531e5ec15209e14d0d4b412638e0d557 /math/proofgeneral | |
| parent | e212ca0784117cdad14dbb38ac7feaef4dfb22b1 (diff) | |
| download | ports-6e14842c1b0da0b6754e319a8344a90119165c0b.tar.gz ports-6e14842c1b0da0b6754e319a8344a90119165c0b.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 34 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 1 |
2 files changed, 22 insertions, 13 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index c51e28fff696..9ac56b16f2c8 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -3,7 +3,7 @@ PORTNAME= proofgeneral PORTVERSION= 4.1 -PORTREVISION= 7 +PORTREVISION= 8 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ PKGNAMESUFFIX= -${EMACS_NAME} @@ -21,33 +21,33 @@ RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicol USE_EMACS= yes INSTALLS_ICONS= yes -USES= gmake perl5 +USES= gmake perl5 shebangfix +SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags -NO_STAGE= yes .include <bsd.port.pre.mk> .if ${EMACS_NAME} == xemacs IGNORE= the ProofGeneral developers no longer support XEmacs .endif -MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${MAKE_CMD}" \ - DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \ - BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \ +MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \ + MAKE="${MAKE_CMD}" EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \ + DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \ + INFODIR="${STAGEDIR}${PREFIX}/info" \ + BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \ + EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" \ ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \ - ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \ - ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \ - EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \ - DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \ - EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" + ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \ + ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \ + DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" SUB_FILES= pkg-message SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} -MAN1= proofgeneral.1 MANCOMPRESSED= no INFO= PG-adapting ProofGeneral -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc BUILD_DEPENDS+= texi2html:${PORTSDIR}/textproc/texi2html .endif @@ -59,6 +59,14 @@ PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \ post-patch: @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ ${WRKSRC}/etc/desktop/proofgeneral.desktop + @${REINPLACE_CMD} -e \ + "s|PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags||g" \ + ${WRKSRC}/Makefile + @${REINPLACE_CMD} -e "s|PG_SCRIPTS = bin/proofgeneral||g" \ + ${WRKSRC}/Makefile + @${REINPLACE_CMD} -e \ + 's|PGHOMEDEFAULT=$$HOME|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}|g' \ + ${WRKSRC}/bin/proofgeneral @${TOUCH} ${WRKSRC}/.byte-compile @${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \ ${WRKSRC}/isar/interface diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 8c591bc4d3f5..380ec142b53f 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -4,6 +4,7 @@ bin/legotags bin/proofgeneral share/application-registry/proofgeneral.applications share/applications/proofgeneral.desktop +man/man1/proofgeneral.1.gz %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el |