Bug 107414

Summary: Update port: math/proofgeneral (bugfix)
Product: Ports & Packages Reporter: Timothy Bourke <timbob>
Component: Individual Port(s)Assignee: Andrey Slusar <anray>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Description Flags
proofgeneral.diff none

Description Timothy Bourke 2007-01-02 01:40:17 UTC
Existing port causes problems on pointyhat.

This update:
  * Removes the direct inclusion of bsd.emacs.mk
  * Uses the misc/gnomehier and misc/hicolor-icon/theme ports
  * Uses the latest proofgeneral prerelease
Comment 1 Edwin Groothuis freebsd_committer 2007-01-02 01:40:27 UTC
Responsible Changed
From-To: freebsd-ports-bugs->anray

anray@ wants to have elisp PRs
Comment 2 dfilter service freebsd_committer 2007-02-06 22:55:44 UTC
anray       2007-02-06 22:55:25 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
    math/proofgeneral/files patch-Makefile 
  * Remove the direct inclusion of bsd.emacs.mk
  * Use the misc/gnomehier and misc/hicolor-icon/theme ports
  * Use the latest proofgeneral prerelease
  PR:             ports/107414
  Submitted by:   Timothy Bourke(maintainer)
  Revision  Changes    Path
  1.11      +22 -31    ports/math/proofgeneral/Makefile
  1.5       +3 -3      ports/math/proofgeneral/distinfo
  1.3       +57 -68    ports/math/proofgeneral/files/patch-Makefile
  1.7       +451 -341  ports/math/proofgeneral/pkg-plist
cvs-all@freebsd.org mailing list
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Andrey Slusar freebsd_committer 2007-02-06 22:56:07 UTC
State Changed
From-To: open->closed

Committed. Thanks!