Attachment #144709 for bug #191503




# Created by: Timothy Bourke <timbob@bigpond.com>
# $FreeBSD: head/math/proofgeneral/Makefile 359185 2014-06-25 05:35:31Z bapt $

PORTNAME=	proofgeneral
PORTVERSION=	4.1
PORTREVISION=	8
CATEGORIES=	math elisp
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
PKGNAMESUFFIX=	-${EMACS_NAME}


USE_EMACS=	yes
INSTALLS_ICONS=	yes
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="${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="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
	ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral"
	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"

SUB_FILES=	pkg-message
SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}

MAN1=		proofgeneral.1
MANCOMPRESSED=	no
INFO=		PG-adapting ProofGeneral

.if ${PORT_OPTIONS:MDOCS}
MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
BUILD_DEPENDS+=	texi2html:${PORTSDIR}/textproc/texi2html
.endif

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

Lines 4-9 Link Here

(-)proofgeneral/pkg-plist (+1 lines)
4	bin/proofgeneral	4	bin/proofgeneral
5	share/application-registry/proofgeneral.applications	5	share/application-registry/proofgeneral.applications
6	share/applications/proofgeneral.desktop	6	share/applications/proofgeneral.desktop
		7	man/man1/proofgeneral.1.gz
7	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el	8	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
8	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc	9	%%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
9	%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el	10	%%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el

Return to bug 191503

Lines 1-9 Link Here

(-)proofgeneral/Makefile (-14 / +22 lines)
1	# Created by: Timothy Bourke <timbob@bigpond.com>	1	# Created by: Timothy Bourke <timbob@bigpond.com>
2	# $FreeBSD: head/math/proofgeneral/Makefile 361099 2014-07-07 15:31:01Z olgeni $	2	# $FreeBSD: head/math/proofgeneral/Makefile 359185 2014-06-25 05:35:31Z bapt $
3		3
4	PORTNAME= proofgeneral	4	PORTNAME= proofgeneral
5	PORTVERSION= 4.1	5	PORTVERSION= 4.1
6	PORTREVISION= 7	6	PORTREVISION= 8
7	CATEGORIES= math elisp	7	CATEGORIES= math elisp
8	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/	8	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
9	PKGNAMESUFFIX= -${EMACS_NAME}	9	PKGNAMESUFFIX= -${EMACS_NAME}
Lines 21-53 Link Here
21		21
22	USE_EMACS= yes	22	USE_EMACS= yes
23	INSTALLS_ICONS= yes	23	INSTALLS_ICONS= yes
24	USES= gmake perl5	24	USES= gmake perl5 shebangfix
		25	SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags
25		26
26	NO_STAGE= yes
27	.include <bsd.port.pre.mk>	27	.include <bsd.port.pre.mk>
28		28
29	.if ${EMACS_NAME} == xemacs	29	.if ${EMACS_NAME} == xemacs
30	IGNORE= the ProofGeneral developers no longer support XEmacs	30	IGNORE= the ProofGeneral developers no longer support XEmacs
31	.endif	31	.endif
32		32
33	MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${MAKE_CMD}" \	33	MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \
34	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \	34	MAKE="${MAKE_CMD}" EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
35	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \	35	DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \
		36	INFODIR="${STAGEDIR}${PREFIX}/info" \
		37	BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \
		38	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}" \
36	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \	39	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
37	ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \	40	ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
38	ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \	41	ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
39	EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \	42	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral"
40	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
41	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"
42		43
43	SUB_FILES= pkg-message	44	SUB_FILES= pkg-message
44	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}	45	SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
45		46
46	MAN1= proofgeneral.1
47	MANCOMPRESSED= no	47	MANCOMPRESSED= no
48	INFO= PG-adapting ProofGeneral	48	INFO= PG-adapting ProofGeneral
49		49
50	.if !defined(NOPORTDOCS)	50	.if ${PORT_OPTIONS:MDOCS}
51	MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc	51	MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
52	BUILD_DEPENDS+= texi2html:${PORTSDIR}/textproc/texi2html	52	BUILD_DEPENDS+= texi2html:${PORTSDIR}/textproc/texi2html
53	.endif	53	.endif
Lines 59-64 Link Here
59	post-patch:	59	post-patch:
60	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \	60	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
61	${WRKSRC}/etc/desktop/proofgeneral.desktop	61	${WRKSRC}/etc/desktop/proofgeneral.desktop
		62	@${REINPLACE_CMD} -e \
		63	"s\|PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags\|\|g" \
		64	${WRKSRC}/Makefile
		65	@${REINPLACE_CMD} -e "s\|PG_SCRIPTS = bin/proofgeneral\|\|g" \
		66	${WRKSRC}/Makefile
		67	@${REINPLACE_CMD} -e \
		68	's\|PGHOMEDEFAULT=$$HOME\|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}\|g' \
		69	${WRKSRC}/bin/proofgeneral
62	@${TOUCH} ${WRKSRC}/.byte-compile	70	@${TOUCH} ${WRKSRC}/.byte-compile
63	@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \	71	@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \
64	${WRKSRC}/isar/interface	72	${WRKSRC}/isar/interface