Bug 169774 - fix broken port: math/proofgeneral
Summary: fix broken port: math/proofgeneral
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Alex Kozlov
Depends on:
Reported: 2012-07-11 00:20 UTC by Timothy Beyer
Modified: 2012-07-12 15:10 UTC (History)
1 user (show)

See Also:

proofgeneral.diff (2.10 KB, patch)
2012-07-11 00:20 UTC, Timothy Beyer
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Beyer 2012-07-11 00:20:10 UTC
- Fix build when newer versions of texi2html are used. (the port was previously
broken by the recent upgrade to texi2html 5.x, which this addresses)

- Directly ignore if attempting to compile with XEmacs, since it is not
supported by the ProofGeneral developers.


Due to recent changes in the port textproc/texi2html, the port no longer
compiles, and was recently marked as BROKEN.  This patch fixes this issue, and
also fixes a common build error of using XEmacs to build, since it is no longer
supported by the ProofGeneral developers.

Fix: Apply the patch and build
How-To-Repeat: apply the patch and build
Comment 1 Alex Kozlov freebsd_committer 2012-07-12 13:52:21 UTC
Responsible Changed
From-To: freebsd-ports-bugs->ak

I'll take it.
Comment 2 dfilter service freebsd_committer 2012-07-12 15:05:47 UTC
ak          2012-07-12 14:05:30 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
    math/proofgeneral/files patch-doc-Makefile.doc 
  - 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)
  Revision  Changes    Path
  1.31      +5 -3      ports/math/proofgeneral/Makefile
  1.5       +10 -1     ports/math/proofgeneral/files/patch-doc-Makefile.doc
cvs-all@freebsd.org mailing list
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Alex Kozlov freebsd_committer 2012-07-12 15:06:29 UTC
State Changed
From-To: open->closed

Committed. Thanks!