diff options
Diffstat (limited to 'math/proofgeneral')
| -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 |