Attachment #126066 for bug #169774

View | Details | Raw Unified | Return to bug 169774
Collapse All | Expand All




# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.30 2012/06/27 19:30:14 pav Exp $
#

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

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


.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" \




--- doc/Makefile.doc.orig	2011-05-05 10:46:27.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

Return to bug 169774

Lines 5-15 Link Here

(-)math/proofgeneral/Makefile (-3 / +5 lines)
5	# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.30 2012/06/27 19:30:14 pav Exp $	5	# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.30 2012/06/27 19:30:14 pav Exp $
6	#	6	#
7		7
8	PORTNAME= proofgeneral	8	PORTNAME= proofgeneral
9	PORTVERSION= 4.1	9	PORTVERSION= 4.1
10	PORTREVISION= 1	10	PORTREVISION= 2
11	CATEGORIES= math elisp	11	CATEGORIES= math elisp
12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/	12	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
13	PKGNAMESUFFIX= -${EMACS_NAME}	13	PKGNAMESUFFIX= -${EMACS_NAME}
14	DISTNAME= ProofGeneral-${PORTVERSION}	14	DISTNAME= ProofGeneral-${PORTVERSION}
15	EXTRACT_SUFX= .tgz	15	EXTRACT_SUFX= .tgz
Lines 21-32 Link Here
21	LICENSE_FILE= ${WRKSRC}/COPYING	21	LICENSE_FILE= ${WRKSRC}/COPYING
22		22
23	BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash	23	BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash
24	RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme	24	RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
25		25
26	BROKEN= does not build
27
28	USE_EMACS= yes	26	USE_EMACS= yes
29	USE_GMAKE= yes	27	USE_GMAKE= yes
30	INSTALLS_ICONS= yes	28	INSTALLS_ICONS= yes
31	USE_PERL5= yes	29	USE_PERL5= yes
32		30
Lines 35-44 Link Here
35	.ifdef (PACKAGE_BUILDING)	33	.ifdef (PACKAGE_BUILDING)
36	PLIST_SUB+= PACKAGE_BUILDING="@comment "	34	PLIST_SUB+= PACKAGE_BUILDING="@comment "
37	.else	35	.else
38	PLIST_SUB+= PACKAGE_BUILDING=""	36	PLIST_SUB+= PACKAGE_BUILDING=""
39	.endif	37	.endif
		38
		39	.if ${EMACS_NAME} == xemacs
		40	IGNORE= the ProofGeneral developers no longer support XEmacs
		41	.endif
40		42
41	MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \	43	MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${PREFIX}" MAKE="${GMAKE}" \
42	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \	44	DOCDIR="${DOCSDIR}" MANDIR="${PREFIX}/man/man1" INFODIR="${PREFIX}/info" \
43	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \	45	BINDIR="${PREFIX}/bin" DESKTOP="${PREFIX}/share" \
44	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \	46	ELISPP="${EMACS_SITE_LISPDIR}/ProofGeneral" \

Lines 1-7 Link Here

(-)math/proofgeneral/files/patch-doc-Makefile.doc (-1 / +10 lines)
1	--- doc/Makefile.doc.orig 2011-05-05 10:46:27.000000000 -0700	1	--- doc/Makefile.doc.orig 2011-05-05 10:46:27.000000000 -0700
2	+++ doc/Makefile.doc 2012-04-11 22:03:35.000000000 -0700	2	+++ doc/Makefile.doc 2012-07-10 15:19:30.000000000 -0700
		3	@@ -18,7 +18,7 @@
		4
		5	MAKE = make -f Makefile.doc
		6	MAKEINFO = makeinfo
		7	-TEXI2HTML = texi2html -expandinfo -number -split_chapter --noheader
		8	+TEXI2HTML = texi2html -expandinfo -number-sections -split_chapter --noheader
		9	# `texinfo-tex' package contains texi2pdf
		10	TEXI2PDF = texi2pdf
		11	# `dviutils' package contains these useful utilities.
3	@@ -40,16 +40,13 @@	12	@@ -40,16 +40,13 @@
4		13
5	TMPFILE=pgt	14	TMPFILE=pgt
6		15
7	-.SUFFIXES: .texi .info .html .pdf .gz	16	-.SUFFIXES: .texi .info .html .pdf .gz