1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00

- Add stage support

- Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS)
- Uses shebangfix

PR:		ports/191503
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
This commit is contained in:
Danilo Egea Gondolfo 2014-07-16 16:53:37 +00:00
parent e212ca0784
commit 6e14842c1b
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=362086
2 changed files with 22 additions and 13 deletions

View File

@ -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

View File

@ -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