ports/170490: fix port: math/proofgeneral

Timothy Beyer beyert at cs.ucr.edu
Wed Aug 8 20:40:02 UTC 2012


>Number:         170490
>Category:       ports
>Synopsis:       fix port: math/proofgeneral
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Wed Aug 08 20:40:01 UTC 2012
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Beyer
>Release:        FreeBSD 9.0-RELEASE-p3 i386
>Organization:
no organization
>Environment:
System: FreeBSD aeonserv.aeonnet 9.0-RELEASE-p3 FreeBSD 9.0-RELEASE-p3 #12: Mon Jul 23 14:37:57 PDT 2012 root at aeonserv.aeonnet:/usr/obj/usr/src/sys/CUSTOM i386

>Description:

- Deal with extra files as present on pkg-plist.  See http://pointyhat.freebsd.org/errorlogs/amd64-errorlogs/e.8.20120806202954/proofgeneral-emacs-4.1_3.log for more details.

>How-To-Repeat:
apply the patch and build (untested, but should work)

>Fix:
the included patch (untested, but should work)

--- proofgeneral.diff begins here ---
Index: math/proofgeneral/Makefile
==================================================================
--- math/proofgeneral/Makefile
+++ math/proofgeneral/Makefile
@@ -5,11 +5,11 @@
 # $FreeBSD: ports/math/proofgeneral/Makefile,v 1.32 2012/08/01 16:50:15 ashish Exp $
 #
 
 PORTNAME=	proofgeneral
 PORTVERSION=	4.1
-PORTREVISION=	3
+PORTREVISION=	4
 CATEGORIES=	math elisp
 MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
 PKGNAMESUFFIX=	-${EMACS_NAME}
 DISTNAME=	ProofGeneral-${PORTVERSION}
 EXTRACT_SUFX=	.tgz

Index: math/proofgeneral/pkg-plist
==================================================================
--- math/proofgeneral/pkg-plist
+++ math/proofgeneral/pkg-plist
@@ -227,10 +227,11 @@
 %%EMACS_SITE_LISPDIR%%/ProofGeneral/phox/phox.elc
 %%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el
 share/icons/hicolor/16x16/proofgeneral.png
 share/icons/hicolor/32x32/proofgeneral.png
 share/icons/hicolor/48x48/proofgeneral.png
+share/icons/hicolor/icon-theme.cache
 share/mime-info/proofgeneral.keys
 share/mime-info/proofgeneral.mime
 share/pixmaps/proofgeneral.png
 %%PACKAGE_BUILDING%%@dirrmtry share/mime-info
 @dirrmtry share/icons/hicolor/48x48
--- proofgeneral.diff ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:



More information about the freebsd-ports-bugs mailing list