diff options
| author | bapt <bapt@FreeBSD.org> | 2013-07-18 17:40:06 +0800 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2013-07-18 17:40:06 +0800 |
| commit | 2ff05102283b15702cd2803a36d37618b365bfb4 (patch) | |
| tree | e18155134e09cef9e994e6f24df1dc07ffccfa60 /lang | |
| parent | 19c12d2fffc779a240636512a339f2fb6c240c4d (diff) | |
| download | freebsd-ports-gnome-2ff05102283b15702cd2803a36d37618b365bfb4.tar.gz freebsd-ports-gnome-2ff05102283b15702cd2803a36d37618b365bfb4.tar.zst freebsd-ports-gnome-2ff05102283b15702cd2803a36d37618b365bfb4.zip | |
Mark as broken:
'Shared object "libgmp.so.7" not found, required by "mlton-compile"
Reported by: pointyhat and pkg-fallout
Diffstat (limited to 'lang')
| -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) |