Attachment 126066 Details for Bug 169774 – proofgeneral.diff

[patch] proofgeneral.diff

proofgeneral.diff (text/plain), 2.10 KB, created by Timothy Beyer on 2012-07-11 00:20:10 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Beyer

Created: 2012-07-11 00:20:10 UTC

Size: 2.10 KB

patch

obsolete

>Index: math/proofgeneral/Makefile
>==================================================================
>--- math/proofgeneral/Makefile
>+++ math/proofgeneral/Makefile
>@@ -5,11 +5,11 @@
> # $FreeBSD: ports/math/proofgeneral/Makefile,v 1.30 2012/06/27 19:30:14 pav Exp $
> #
> 
> PORTNAME=	proofgeneral
> PORTVERSION=	4.1
>-PORTREVISION=	1
>+PORTREVISION=	2
> CATEGORIES=	math elisp
> MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
> PKGNAMESUFFIX=	-${EMACS_NAME}
> DISTNAME=	ProofGeneral-${PORTVERSION}
> EXTRACT_SUFX=	.tgz
>@@ -21,12 +21,10 @@
> LICENSE_FILE=	${WRKSRC}/COPYING
> 
> BUILD_DEPENDS=	bash:${PORTSDIR}/shells/bash
> RUN_DEPENDS=	${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
> 
>-BROKEN=		does not build
>-
> USE_EMACS=	yes
> USE_GMAKE=	yes
> INSTALLS_ICONS=	yes
> USE_PERL5=	yes
> 
>@@ -35,10 +33,14 @@
> .ifdef (PACKAGE_BUILDING)
> PLIST_SUB+=	PACKAGE_BUILDING="@comment "
> .else
> PLIST_SUB+=	PACKAGE_BUILDING=""
> .endif
>+
>+.if ${EMACS_NAME} == xemacs
>+IGNORE=	the ProofGeneral developers no longer support XEmacs
>+.endif
> 
> MAKE_ARGS+=	PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \
> 	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
> 	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
> 	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \
>
>Index: math/proofgeneral/files/patch-doc-Makefile.doc
>==================================================================
>--- math/proofgeneral/files/patch-doc-Makefile.doc
>+++ math/proofgeneral/files/patch-doc-Makefile.doc
>@@ -1,7 +1,16 @@
> --- doc/Makefile.doc.orig	2011-05-05 10:46:27.000000000 -0700
>-+++ doc/Makefile.doc	2012-04-11 22:03:35.000000000 -0700
>++++ doc/Makefile.doc	2012-07-10 15:19:30.000000000 -0700
>+@@ -18,7 +18,7 @@
>+ 
>+ MAKE = make -f Makefile.doc 
>+ MAKEINFO = makeinfo
>+-TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
>++TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
>+ # `texinfo-tex' package contains texi2pdf
>+ TEXI2PDF = texi2pdf
>+ # `dviutils' package contains these useful utilities.
> @@ -40,16 +40,13 @@
>  
>  TMPFILE=pgt
>  
> -.SUFFIXES:  .texi .info .html .pdf .gz

Actions: View | Diff

Attachments on bug 169774: 126066