Attachment 72506 Details for Bug 105383 – proofgeneral.diff

[patch] proofgeneral.diff

proofgeneral.diff (text/plain), 1.92 KB, created by Timothy Bourke on 2006-11-10 18:20:19 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Bourke

Created: 2006-11-10 18:20:19 UTC

Size: 1.92 KB

patch

obsolete

>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

Actions: View | Diff

Attachments on bug 105383: 72506