diff options
Diffstat (limited to 'math/coq/Makefile')
| -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} |