diff options
| author | Kris Kennaway <kris@FreeBSD.org> | 2006-05-21 22:00:28 +0000 |
|---|---|---|
| committer | Kris Kennaway <kris@FreeBSD.org> | 2006-05-21 22:00:28 +0000 |
| commit | 2282ee5288dbc379831bc95cf4a10127bb983e09 (patch) | |
| tree | 13705a1e0509bb6c1cebecced5cfc1d26f9b9cd0 /lang/mlton | |
| parent | 6d6e66d80bdd7bdb7545c6c1a696e47f8edff59c (diff) | |
Notes
Diffstat (limited to 'lang/mlton')
| -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 ed7d8d98f0aa..712742dc3006 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -31,6 +31,8 @@ BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \ LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 RUN_DEPENDS= bash:${PORTSDIR}/shells/bash +BROKEN= Prebuilt binary depends on old version of libgmp + SRC_DIST= ${DISTNAME}-1.freebsd.src.tgz BOOT_DIST= ${PORTNAME}-${BOOT_VER}-1.${MACHINE_ARCH}-freebsd.${BOOT_SUF} |