diff options
| author | Anton Berezin <tobez@FreeBSD.org> | 2004-11-29 09:34:20 +0000 |
|---|---|---|
| committer | Anton Berezin <tobez@FreeBSD.org> | 2004-11-29 09:34:20 +0000 |
| commit | e5db96d167762b57099ab17aadb3ce4d09f559ff (patch) | |
| tree | 147a663352caf557a2e115df3cb0f981be85663e | |
| parent | e3ce862d41821e57f872b8816c74a5318eb5f70b (diff) | |
| download | ports-e5db96d167762b57099ab17aadb3ce4d09f559ff.tar.gz ports-e5db96d167762b57099ab17aadb3ce4d09f559ff.zip | |
Notes
| -rw-r--r-- | math/coq/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 268a82c490a3..40e76d1317ee 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -32,6 +32,10 @@ ALL_TARGET= world .include <bsd.port.pre.mk> +.if ${ARCH} == "ia64" || ${ARCH} == "amd64" +BROKEN= "OCaml bug prevents compilation" +.endif + .if exists(${LOCALBASE}/bin/lablgtk2) BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 RUN_DEPENDS+= ${BUILD_DEPENDS} |