diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2012-06-27 19:30:14 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2012-06-27 19:30:14 +0000 |
| commit | 0f15eed738f329ece0f4baa1a4592b4bcb17133d (patch) | |
| tree | 7da371a1aad966e9a91f0cde27b968f1aae40add /math/proofgeneral/Makefile | |
| parent | d365f6f58c207ae648abbed5e59940a077f9fe28 (diff) | |
| download | ports-0f15eed738f329ece0f4baa1a4592b4bcb17133d.tar.gz ports-0f15eed738f329ece0f4baa1a4592b4bcb17133d.zip | |
Notes
Diffstat (limited to 'math/proofgeneral/Makefile')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 90b51b7cde87..1a42e3ee916f 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -23,6 +23,8 @@ LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme +BROKEN= does not build + USE_EMACS= yes USE_GMAKE= yes INSTALLS_ICONS= yes |