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