mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity

Fix plist and unbroken port.

Browse Source 
PR:		ports/105383
Reported by:	pointyhat
Submitted by:	Timothy Bourke (maintainer)
This commit is contained in:
Andrey Slusar 2006-11-11 19:15:29 +00:00
parent 0240b24fee
commit 62ce34236f
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=177064
3 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
math/proofgeneral/Makefile
View File

@ -7,6 +7,7 @@
PORTNAME= proofgeneral
PORTVERSION= 3.6
PORTREVISION= 1
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME= ProofGeneral-3.6pre051004
@ -19,12 +20,10 @@ PKGNAMESUFFIX+= -${EMACS_NAME}
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
#

1
math/proofgeneral/distinfo
View File

@ -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

1
math/proofgeneral/pkg-plist
View File

@ -427,7 +427,6 @@ bin/proofgeneral
@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