View | Details | Raw Unified | Return to bug 105383
Collapse All | Expand All

(-)Makefile (-4 / +2 lines)
Lines 2-8 Link Here
2
# Date created:        11 August 2005
2
# Date created:        11 August 2005
3
# Whom:                Timothy Bourke <timbob@bigpond.com>
3
# Whom:                Timothy Bourke <timbob@bigpond.com>
4
#
4
#
5
# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.7 2006/10/15 20:06:03 kris Exp $
5
# $FreeBSD$
6
#
6
#
7
7
8
PORTNAME=	proofgeneral
8
PORTNAME=	proofgeneral
Lines 19-30 Link Here
19
BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
19
BUILD_DEPENDS+=	bash:${PORTSDIR}/shells/bash
20
RUN_DEPENDS+=	${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
20
RUN_DEPENDS+=	${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
21
21
22
BROKEN=		Incorrect pkg-plist
23
24
.include <bsd.port.pre.mk>
22
.include <bsd.port.pre.mk>
25
23
26
.if ${ARCH} == "amd64"
24
.if ${ARCH} == "amd64"
27
BROKEN=		"Does not build on amd64"
25
BROKEN="Does not build on amd64"
28
.endif
26
.endif
29
27
30
#
28
#
(-)distinfo (+1 lines)
Lines 1-2 Link Here
1
MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
1
MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
2
SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043
2
SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863
3
SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863
(-)pkg-plist (-1 lines)
Lines 427-433 Link Here
427
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
427
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral/acl2
428
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
428
@dirrm %%EMACS_SITE_LISPDIR%%/proofgeneral
429
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
429
@dirrmtry %%EMACS_SITE_LISPDIR%%/site-start.d
430
@dirrmtry %%EMACS_SITE_LISPDIR%%
431
share/application-registry/proofgeneral.applications
430
share/application-registry/proofgeneral.applications
432
share/applications/proofgeneral.desktop
431
share/applications/proofgeneral.desktop
433
share/icons/hicolor/16x16/proofgeneral.png
432
share/icons/hicolor/16x16/proofgeneral.png

Return to bug 105383