Date: Fri, 10 Nov 2006 19:15:41 +0100 (CET) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/105383: Update port: math/proofgeneral (patch pkg-plist) Message-ID: <200611101815.kAAIFffu017027@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200611101820.kAAIKKSS002793@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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 -@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200611101815.kAAIFffu017027>