Attachment 144278 Details for Bug 191503 – proofgeneral.diff

[patch] proofgeneral.diff

proofgeneral.diff (text/plain), 2.61 KB, created by Timothy Beyer on 2014-06-29 23:30:35 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Beyer

Created: 2014-06-29 23:30:35 UTC

Size: 2.61 KB

patch

obsolete

>diff -urN proofgeneral.orig/Makefile proofgeneral/Makefile
>--- proofgeneral.orig/Makefile	2014-06-24 22:35:31.000000000 -0700
>+++ proofgeneral/Makefile	2014-06-29 16:22:06.000000000 -0700
>@@ -3,7 +3,7 @@
> 
> PORTNAME=	proofgeneral
> PORTVERSION=	4.1
>-PORTREVISION=	7
>+PORTREVISION=	8
> CATEGORIES=	math elisp
> MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
> PKGNAMESUFFIX=	-${EMACS_NAME}
>@@ -23,31 +23,30 @@
> INSTALLS_ICONS=	yes
> USES=		gmake perl5
> 
>-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="${PREFIX}" MAKE="${MAKE_CMD}" \
>-	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
>-	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
>-	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
>-	ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
>-	ELISP_START="${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
>-	EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \
>-	DEST_ELISP="${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
>-	EMACS_SITE_LISPDIR="${EMACS_SITE_LISPDIR}"
>+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="${STAGEDIR}${EMACS_SITE_LISPDIR}" \
>+	ELISPP="${STAGEDIR}${EMACS_SITE_LISPDIR}/ProofGeneral" \
>+	ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral" \
>+	ELISP_START="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/site-start.d" \
>+	DEST_ELISP="${STAGEDIR}${PREFIX}/${EMACS_SITE_LISPDIR}/ProofGeneral"
> 
> SUB_FILES=	pkg-message
> SUB_LIST=	EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
> 
>-MAN1=		proofgeneral.1
> MANCOMPRESSED=	no
> INFO=		PG-adapting ProofGeneral
> 
>-.if !defined(NOPORTDOCS)
>+.if ${PORT_OPTIONS:MDOCS}
> MAKE_ARGS+=	DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
> BUILD_DEPENDS+=	texi2html:${PORTSDIR}/textproc/texi2html
> .endif
>diff -urN proofgeneral.orig/pkg-plist proofgeneral/pkg-plist
>--- proofgeneral.orig/pkg-plist	2014-05-09 14:13:09.000000000 -0700
>+++ proofgeneral/pkg-plist	2014-06-29 16:21:03.000000000 -0700
>@@ -4,6 +4,7 @@
> bin/proofgeneral
> share/application-registry/proofgeneral.applications
> share/applications/proofgeneral.desktop
>+man/man1/proofgeneral.1.gz
> %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.el
> %%EMACS_SITE_LISPDIR%%/ProofGeneral/acl2/acl2.elc
> %%EMACS_SITE_LISPDIR%%/ProofGeneral/ccc/ccc.el
>--- proofgeneral.diff ends here ---

Actions: View | Diff

Attachments on bug 191503: 144278 | 144506 | 144709