Bug 169774

Summary: fix broken port: math/proofgeneral
Product: Ports & Packages Reporter: Timothy Beyer <beyert>
Component: Individual Port(s)Assignee: Alex Kozlov <ak>
Status: Closed FIXED    
Severity: Affects Only Me CC: beyert
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
proofgeneral.diff none

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.

Explanation:

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 freebsd_triage 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 freebsd_triage 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 
  Log:
  - 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
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Alex Kozlov freebsd_committer freebsd_triage 2012-07-12 15:06:29 UTC 
State Changed
From-To: open->closed

Committed. Thanks!