mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-21 00:25:50 +00:00
Code Issues Releases Activity

Mark BROKEN: Build seems to hang on the package builders

Browse Source 
With hat:	portmgr
This commit is contained in:
Antoine Brodin 2014-07-31 19:35:56 +00:00
parent d471ec2999
commit d831d57060
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=363673
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/isabelle/Makefile
View File

@ -15,6 +15,8 @@ COMMENT= Generic proof assistant
LICENSE= BSD LICENSE= BSD
LICENSE_FILE= ${WRKSRC}/COPYRIGHT LICENSE_FILE= ${WRKSRC}/COPYRIGHT
BROKEN= Build seems to hang on the package builders
OPTIONS_DEFINE= POLYML RLWRAP LEDIT HOL_ALGEBRA HOL_NOMINAL HOL_NSA HOL_WORD \ OPTIONS_DEFINE= POLYML RLWRAP LEDIT HOL_ALGEBRA HOL_NOMINAL HOL_NSA HOL_WORD \
HOL_TLA HOL_HOL4 EMACS_PKG HOL_TLA HOL_HOL4 EMACS_PKG
OPTIONS_DEFAULT= RLWRAP OPTIONS_DEFAULT= RLWRAP