diff options
| author | kris <kris@FreeBSD.org> | 2006-05-21 22:00:28 +0000 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2006-05-21 22:00:28 +0000 |
| commit | 9b58b7fdcedca01d033be966f81ab4e0d473da23 (patch) | |
| tree | e84c5c13d40caa05d224878b40f6927d08936ccc /lang | |
| parent | 7518377f231aef2fe58046f04f657b125be549a1 (diff) | |
| download | FreeBSD-ports-9b58b7fdcedca01d033be966f81ab4e0d473da23.zip FreeBSD-ports-9b58b7fdcedca01d033be966f81ab4e0d473da23.tar.gz | |
BROKEN: Prebuilt binary depends on old version of libgmp
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 ed7d8d9..712742d 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} |
