diff options
Diffstat (limited to 'lang/ghc')
| -rw-r--r-- | lang/ghc/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lang/ghc/Makefile b/lang/ghc/Makefile index 91eb73a7c045..9357b3779b2c 100644 --- a/lang/ghc/Makefile +++ b/lang/ghc/Makefile @@ -34,11 +34,16 @@ USE_GMAKE= yes # You can view below. GNU_CONFIGURE= yes -OPTIONS= PROFILE "Compile for profiling as well" on \ - DOCS "Install HTML documentation" on +OPTIONS= PROFILE "Compile for profiling as well" on .include <bsd.port.pre.mk> +.if ${ARCH} == "i386" +OPTIONS+= DOCS "Install HTML documentation" on +.else +.undef WITH_DOCS +.endif + .if exists(${LOCALBASE}/lib/libreadline.so.5) LIB_DEPENDS+= readline.5:${PORTSDIR}/devel/readline .endif |