diff options
| author | ak <ak@FreeBSD.org> | 2012-07-12 22:05:30 +0800 |
|---|---|---|
| committer | ak <ak@FreeBSD.org> | 2012-07-12 22:05:30 +0800 |
| commit | 5123f55ec67827c7faa4b827a541becb2b0e07a9 (patch) | |
| tree | 6ad76035a05446ceb858b069cbc410d828013f07 /math | |
| parent | d1caadeeb2c106f08c63170ace408fc234c1acad (diff) | |
| download | freebsd-ports-gnome-5123f55ec67827c7faa4b827a541becb2b0e07a9.tar.gz freebsd-ports-gnome-5123f55ec67827c7faa4b827a541becb2b0e07a9.tar.zst freebsd-ports-gnome-5123f55ec67827c7faa4b827a541becb2b0e07a9.zip | |
- 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)
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 |