diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-07-18 09:40:06 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-07-18 09:40:06 +0000 |
commit | fedb872b37657205fdd47cb1fa0852e89bd693a9 (patch) | |
tree | e18155134e09cef9e994e6f24df1dc07ffccfa60 /lang/mlton/Makefile | |
parent | e2c1d81e13d65e33cf5ae03295ef751e995bb145 (diff) | |
download | ports-fedb872b37657205fdd47cb1fa0852e89bd693a9.tar.gz ports-fedb872b37657205fdd47cb1fa0852e89bd693a9.zip |
Mark as broken:
'Shared object "libgmp.so.7" not found, required by "mlton-compile"
Reported by: pointyhat and pkg-fallout
Notes
Notes:
svn path=/head/; revision=323211
Diffstat (limited to 'lang/mlton/Makefile')
-rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index d9ab04637374..76da9cfab10b 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -24,6 +24,8 @@ LIB_DEPENDS= gmp.10:${PORTSDIR}/math/gmp RUN_DEPENDS= bash:${PORTSDIR}/shells/bash BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash +BROKEN= Does not build + OPTIONS_DEFINE= SMLNJ MINGW32 SMLNJ_DESC= Bootstrap with SML/NJ (can take >15 hours) MINGW32_DESC= Add the mingw32 target (requires wine) |