View | Details | Raw Unified | Return to bug 191503 | Differences between
and this patch

Collapse All | Expand All

(-)proofgeneral/Makefile (-14 / +22 lines)
Lines 1-9 Link Here
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
(-)proofgeneral/pkg-plist (+1 lines)
Lines 4-9 Link Here
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