blob: 88622f1d54bd335461852700a862c0bceb8f2dca (
plain) (
tree)
|
|
# Created by: Timothy Bourke <timbob@bigpond.com>
# $FreeBSD$
PORTNAME= proofgeneral
PORTVERSION= 4.1
PORTREVISION= 12
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX}
DISTNAME= ProofGeneral-${PORTVERSION}
MAINTAINER= beyert@cs.ucr.edu
COMMENT= Generic interface for proof assistants
LICENSE= GPLv2
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= bash:shells/bash
RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme
USES= emacs gmake perl5 shebangfix tar:tgz
EMACS_FLAVORS_EXCLUDE= nox devel_nox
INSTALLS_ICONS= yes
SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags
NO_ARCH= yes
MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \
MAKE="${MAKE_CMD}" EMACS=emacs EMACS_NAME=emacs \
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="${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}
INFO= PG-adapting ProofGeneral
PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \
PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \
pgshell phox twelf
OPTIONS_DEFINE= DOCS
DOCS_MAKE_ARGS= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
DOCS_BUILD_DEPENDS= texi2html:textproc/texi2html
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,' \
${WRKSRC}/isar/interface
pre-build:
#.if defined(BYTE_COMPILE)
@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
#.endif
post-install-DOCS-on:
@${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete
post-install-DOCS-off:
${INSTALL_MAN} ${WRKSRC}/doc/${PORTNAME}.1 \
${STAGEDIR}${MAN1PREFIX}/man/man1
.include <bsd.port.mk>
|
