ports/105383: Update port: math/proofgeneral (patch pkg-plist)
Timothy Bourke
timbob at bigpond.com
Fri Nov 10 18:20:21 UTC 2006
>Number: 105383
>Category: ports
>Synopsis: Update port: math/proofgeneral (patch pkg-plist)
>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: Fri Nov 10 18:20:19 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator: Timothy Bourke
>Release: FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m)
>Organization:
n/a
>Environment:
>Description:
Fix failure on the pointyhat:
http://portsmon.firepipe.net/portoverview.py?category=math&portname=proofgeneral
>How-To-Repeat:
>Fix:
--- proofgeneral.diff begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/Makefile,v
retrieving revision 1.7
diff -u -r1.7 Makefile
--- Makefile 15 Oct 2006 20:06:03 -0000 1.7
+++ Makefile 10 Nov 2006 18:10:44 -0000
@@ -2,7 +2,7 @@
# Date created: 11 August 2005
# Whom: Timothy Bourke <timbob at bigpond.com>
#
-# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.7 2006/10/15 20:06:03 kris Exp $
+# $FreeBSD$
#
PORTNAME= proofgeneral
@@ -19,12 +19,10 @@
BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash
RUN_DEPENDS+= ${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
-BROKEN= Incorrect pkg-plist
-
.include <bsd.port.pre.mk>
.if ${ARCH} == "amd64"
-BROKEN= "Does not build on amd64"
+BROKEN="Does not build on amd64"
.endif
#
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/distinfo,v
retrieving revision 1.3
diff -u -r1.3 distinfo
--- distinfo 1 May 2006 18:00:51 -0000 1.3
+++ distinfo 10 Nov 2006 18:10:44 -0000
@@ -1,2 +1,3 @@
MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
+SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043
SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863
Index: pkg-plist
===================================================================
RCS file: /home/ncvs/ports/math/proofgeneral/pkg-plist,v
retrieving revision 1.5
diff -u -r1.5 pkg-plist
--- pkg-plist 16 May 2006 12:03:31 -0000 1.5
+++ pkg-plist 10 Nov 2006 18:10:45 -0000
@@ -427,7 +427,6 @@
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
- at dirrmtry %%EMACS_SITE_LISPDIR%%
share/application-registry/proofgeneral.applications
share/applications/proofgeneral.desktop
share/icons/hicolor/16x16/proofgeneral.png
--- proofgeneral.diff ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list