diff options
| author | anray <anray@FreeBSD.org> | 2006-11-12 03:15:29 +0800 |
|---|---|---|
| committer | anray <anray@FreeBSD.org> | 2006-11-12 03:15:29 +0800 |
| commit | 196b3228dfe0d9a34f9b7ce0c2c6290a8e4bcbb2 (patch) | |
| tree | 7206baea2fe4e85f16c4edb89d5c610b808c62fc /math/proofgeneral | |
| parent | b719da454da27e95461754580ff5935da8245525 (diff) | |
| download | freebsd-ports-gnome-196b3228dfe0d9a34f9b7ce0c2c6290a8e4bcbb2.tar.gz freebsd-ports-gnome-196b3228dfe0d9a34f9b7ce0c2c6290a8e4bcbb2.tar.zst freebsd-ports-gnome-196b3228dfe0d9a34f9b7ce0c2c6290a8e4bcbb2.zip | |
Fix plist and unbroken port.
PR: ports/105383
Reported by: pointyhat
Submitted by: Timothy Bourke (maintainer)
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 5 | ||||
| -rw-r--r-- | math/proofgeneral/distinfo | 1 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 1 |
3 files changed, 3 insertions, 4 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 2375c7dfbb90..723078153668 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -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 # diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo index 86f4300c72d8..ac4311c69b56 100644 --- a/math/proofgeneral/distinfo +++ b/math/proofgeneral/distinfo @@ -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 diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 58d76abc9d70..3569cfb39ff7 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -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 |