diff options
author | antoine <antoine@FreeBSD.org> | 2014-07-31 04:25:51 +0800 |
---|---|---|
committer | antoine <antoine@FreeBSD.org> | 2014-07-31 04:25:51 +0800 |
commit | 33eab6194ed8055901f711f24ad9ed6c709a3108 (patch) | |
tree | b42968ec0e167bd2f323a171869fde7f829a18f3 /lang | |
parent | c30947996a184fb961dd00b19c2e44303d77494d (diff) | |
download | freebsd-ports-gnome-33eab6194ed8055901f711f24ad9ed6c709a3108.tar.gz freebsd-ports-gnome-33eab6194ed8055901f711f24ad9ed6c709a3108.tar.zst freebsd-ports-gnome-33eab6194ed8055901f711f24ad9ed6c709a3108.zip |
Attempt to unbreak INDEX
No idea if this builds (it didn't)
With hat: portmgr
Diffstat (limited to 'lang')
-rw-r--r-- | lang/mlton/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index c8c732c31e88..4ea6991867e6 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -48,11 +48,11 @@ ALL_TARGET= all-no-docs SRC_DIST= ${DISTNAME}.src.tgz .if ${PORT_OPTIONS:MSMLNJ} -BROKEN= ${DISTNAME}-${PORTVERSION} does not bootstrap properly with sml-nj +BROKEN= ${DISTNAME}-${PORTVERSION} does not bootstrap properly with smlnj .endif .if ${PORT_OPTIONS:MSMLNJ} -BUILD_DEPENDS+= smlnj-devel>=110.65:${PORTSDIR}/lang/sml-nj-devel +BUILD_DEPENDS+= smlnj>=110.65:${PORTSDIR}/lang/smlnj BOOT_DIST= MAKE_ENV+= SMLNJ_DEVEL=yes .if ! ${PORT_OPTIONS:MDOCS} |