diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2017-07-08 13:09:49 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2017-07-08 13:09:49 +0000 |
| commit | 665f9d2f92e1cf09ad39143cdc0183b7afa6cf02 (patch) | |
| tree | d034fad2949922671460549f38848a0b9d9b4ee8 | |
| parent | 49e8c0410b5639024fc5d1b0f5d4ef865262f86f (diff) | |
| download | ports-665f9d2f92e1cf09ad39143cdc0183b7afa6cf02.tar.gz ports-665f9d2f92e1cf09ad39143cdc0183b7afa6cf02.zip | |
Notes
| -rw-r--r-- | lang/mlton/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 4cf4bcc12f20..fc0550070cb7 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -37,6 +37,10 @@ USE_GCC= any .include <bsd.port.options.mk> +.if ${ARCH} == i386 +FORBIDDEN= mlton-compile loops infinitely and is unkillable +.endif + .if ${PORT_OPTIONS:MDOCS} BUILD_DEPENDS+= gsed:textproc/gsed \ htmldoc:textproc/htmldoc |