Bug 107414 - Update port: math/proofgeneral (bugfix)
Summary: Update port: math/proofgeneral (bugfix)
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: Andrey Slusar
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-01-02 01:40 UTC by Timothy Bourke
Modified: 2007-02-06 23:00 UTC (History)
0 users

See Also:

Attachments
proofgeneral.diff (65.36 KB, patch)
2007-01-02 01:40 UTC, Timothy Bourke 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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 freebsd_triage 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 freebsd_triage 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 
  Log:
  * 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
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Andrey Slusar freebsd_committer freebsd_triage 2007-02-06 22:56:07 UTC 
State Changed
From-To: open->closed

Committed. Thanks!