diff options
| author | Andrey Slusar <anray@FreeBSD.org> | 2006-11-11 19:15:29 +0000 |
|---|---|---|
| committer | Andrey Slusar <anray@FreeBSD.org> | 2006-11-11 19:15:29 +0000 |
| commit | 62ce34236f4de96b578c87a0cb66e0f1c1c586fa (patch) | |
| tree | 00fb2d8169c8a2e3a09d4307c883031375b24eb1 /math/proofgeneral | |
| parent | 0240b24fee1d62a907f83e7af14528fa7ed8320d (diff) | |
| download | ports-62ce34236f4de96b578c87a0cb66e0f1c1c586fa.tar.gz ports-62ce34236f4de96b578c87a0cb66e0f1c1c586fa.zip | |
Notes
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 |