diff options
author | Alex Kozlov <ak@FreeBSD.org> | 2012-07-12 14:05:30 +0000 |
---|---|---|
committer | Alex Kozlov <ak@FreeBSD.org> | 2012-07-12 14:05:30 +0000 |
commit | f47f91d2a018f440f46a05f3259d0ba4c735964a (patch) | |
tree | 6230777297129033d9c50b50c148f365a4207f4b /math | |
parent | Update SPDY patch from version 46 to 47. (diff) |
- Fix build with new texi2html
- Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral developers.
PR: ports/169774
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Notes
Notes:
svn path=/head/; revision=300805
Diffstat (limited to 'math')
-rw-r--r-- | math/proofgeneral/Makefile | 8 | ||||
-rw-r--r-- | math/proofgeneral/files/patch-doc-Makefile.doc | 11 |
2 files changed, 15 insertions, 4 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 1a42e3ee916f..823c2c032cf3 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -7,7 +7,7 @@ PORTNAME= proofgeneral PORTVERSION= 4.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ PKGNAMESUFFIX= -${EMACS_NAME} @@ -23,8 +23,6 @@ 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 @@ -38,6 +36,10 @@ PLIST_SUB+= PACKAGE_BUILDING="@comment " 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" \ diff --git a/math/proofgeneral/files/patch-doc-Makefile.doc b/math/proofgeneral/files/patch-doc-Makefile.doc index 023e954eead0..67bde09313fd 100644 --- a/math/proofgeneral/files/patch-doc-Makefile.doc +++ b/math/proofgeneral/files/patch-doc-Makefile.doc @@ -1,5 +1,14 @@ --- 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 |