BROKEN: Configure fails
This commit is contained in:
parent
b2838c5f65
commit
5f1fc062a0
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=132955
2 changed files with 4 additions and 0 deletions
|
@ -17,6 +17,8 @@ BUILD_DEPENDS= ghc:${PORTSDIR}/lang/ghc
|
|||
LIB_DEPENDS= curl:${PORTSDIR}/ftp/curl \
|
||||
gmp.6:${PORTSDIR}/math/libgmp4
|
||||
|
||||
BROKEN= Configure fails
|
||||
|
||||
OPTIONS= SERVER "install server" off
|
||||
USE_REINPLACE= yes
|
||||
GNU_CONFIGURE= yes
|
||||
|
|
|
@ -17,6 +17,8 @@ BUILD_DEPENDS= ghc:${PORTSDIR}/lang/ghc
|
|||
LIB_DEPENDS= curl:${PORTSDIR}/ftp/curl \
|
||||
gmp.6:${PORTSDIR}/math/libgmp4
|
||||
|
||||
BROKEN= Configure fails
|
||||
|
||||
OPTIONS= SERVER "install server" off
|
||||
USE_REINPLACE= yes
|
||||
GNU_CONFIGURE= yes
|
||||
|
|
Loading…
Reference in a new issue