Changeset View
Changeset View
Standalone View
Standalone View
math/proofgeneral/Makefile
# Created by: Timothy Bourke <timbob@bigpond.com> | # Created by: Timothy Bourke <timbob@bigpond.com> | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= proofgeneral | PORTNAME= proofgeneral | ||||
PORTVERSION= 4.1 | PORTVERSION= 4.1 | ||||
PORTREVISION= 11 | PORTREVISION= 12 | ||||
CATEGORIES= math elisp | CATEGORIES= math elisp | ||||
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ | MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ | ||||
PKGNAMESUFFIX= -${EMACS_NAME} | PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | ||||
DISTNAME= ProofGeneral-${PORTVERSION} | DISTNAME= ProofGeneral-${PORTVERSION} | ||||
MAINTAINER= beyert@cs.ucr.edu | MAINTAINER= beyert@cs.ucr.edu | ||||
COMMENT= Generic interface for proof assistants | COMMENT= Generic interface for proof assistants | ||||
LICENSE= GPLv2 | LICENSE= GPLv2 | ||||
LICENSE_FILE= ${WRKSRC}/COPYING | LICENSE_FILE= ${WRKSRC}/COPYING | ||||
BUILD_DEPENDS= bash:shells/bash | BUILD_DEPENDS= bash:shells/bash | ||||
RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme | RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme | ||||
USES= gmake perl5 shebangfix tar:tgz | |||||
USE_EMACS= yes | USE_EMACS= yes | ||||
EMACS_EXCLUDE_FLAVORS= lite devel_lite | |||||
INSTALLS_ICONS= yes | INSTALLS_ICONS= yes | ||||
USES= gmake perl5 shebangfix tar:tgz | |||||
SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags | SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags | ||||
NO_ARCH= yes | NO_ARCH= 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="${STAGEDIR}${PREFIX}" \ | MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \ | ||||
MAKE="${MAKE_CMD}" EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \ | MAKE="${MAKE_CMD}" EMACS=emacs EMACS_NAME=emacs \ | ||||
DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \ | DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \ | ||||
INFODIR="${STAGEDIR}${PREFIX}/info" \ | INFODIR="${STAGEDIR}${PREFIX}/info" \ | ||||
BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \ | BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \ | ||||
EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" \ | EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" \ | ||||
ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \ | ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \ | ||||
ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \ | ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \ | ||||
ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \ | ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \ | ||||
DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" | DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" | ||||
SUB_FILES= pkg-message | SUB_FILES= pkg-message | ||||
SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} | SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} | ||||
INFO= PG-adapting ProofGeneral | INFO= PG-adapting ProofGeneral | ||||
.if ${PORT_OPTIONS:MDOCS} | |||||
MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc | |||||
BUILD_DEPENDS+= texi2html:textproc/texi2html | |||||
.endif | |||||
PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \ | PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \ | ||||
PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \ | PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \ | ||||
pgshell phox twelf | pgshell phox twelf | ||||
OPTIONS_DEFINE= DOCS | |||||
DOCS_MAKE_ARGS= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc | |||||
DOCS_BUILD_DEPENDS= texi2html:textproc/texi2html | |||||
post-patch: | post-patch: | ||||
@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ | @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ | ||||
${WRKSRC}/etc/desktop/proofgeneral.desktop | ${WRKSRC}/etc/desktop/proofgeneral.desktop | ||||
@${REINPLACE_CMD} -e \ | @${REINPLACE_CMD} -e \ | ||||
"s|PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags||g" \ | "s|PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags||g" \ | ||||
${WRKSRC}/Makefile | ${WRKSRC}/Makefile | ||||
@${REINPLACE_CMD} -e "s|PG_SCRIPTS = bin/proofgeneral||g" \ | @${REINPLACE_CMD} -e "s|PG_SCRIPTS = bin/proofgeneral||g" \ | ||||
${WRKSRC}/Makefile | ${WRKSRC}/Makefile | ||||
@${REINPLACE_CMD} -e \ | @${REINPLACE_CMD} -e \ | ||||
's|PGHOMEDEFAULT=$$HOME|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}|g' \ | 's|PGHOMEDEFAULT=$$HOME|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}|g' \ | ||||
${WRKSRC}/bin/proofgeneral | ${WRKSRC}/bin/proofgeneral | ||||
@${TOUCH} ${WRKSRC}/.byte-compile | @${TOUCH} ${WRKSRC}/.byte-compile | ||||
@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \ | @${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,emacs,' \ | ||||
${WRKSRC}/isar/interface | ${WRKSRC}/isar/interface | ||||
pre-build: | pre-build: | ||||
#.if defined(BYTE_COMPILE) | #.if defined(BYTE_COMPILE) | ||||
@${RM} ${WRKSRC}/.byte-compile || ${TRUE} | @${RM} ${WRKSRC}/.byte-compile || ${TRUE} | ||||
#.endif | #.endif | ||||
post-install: | post-install-DOCS-on: | ||||
@${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete | @${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete | ||||
.include <bsd.port.post.mk> | post-install-DOCS-off: | ||||
${INSTALL_MAN} ${WRKSRC}/doc/${PORTNAME}.1 \ | |||||
${STAGEDIR}${MAN1PREFIX}/man/man1 | |||||
.include <bsd.port.mk> |