diff options
| author | obraun <obraun@FreeBSD.org> | 2008-03-01 21:54:33 +0800 |
|---|---|---|
| committer | obraun <obraun@FreeBSD.org> | 2008-03-01 21:54:33 +0800 |
| commit | 047b5f43622da1bdcf8470389da832c097cc98da (patch) | |
| tree | d9e962a8ad1796e2f48101d628d20de48a33a733 /lang | |
| parent | dcfe9ef1951435813cfda6be5d1bc385c881d695 (diff) | |
| download | freebsd-ports-gnome-047b5f43622da1bdcf8470389da832c097cc98da.tar.gz freebsd-ports-gnome-047b5f43622da1bdcf8470389da832c097cc98da.tar.zst freebsd-ports-gnome-047b5f43622da1bdcf8470389da832c097cc98da.zip | |
Disable WITH_DOCS on amd64.
PR: ports/121251
Submitted by: "Brian O'Hanlon" <brianpo@cmu.edu>
Diffstat (limited to 'lang')
| -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 |