Differential D13506 Diff 38354 math/proofgeneral/Makefile

Changeset 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

	USE_EMACS= yes			USES= emacs gmake perl5 shebangfix tar:tgz
				EMACS_FLAVORS= full canna devel_full

	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>