diff options
| author | tobez <tobez@FreeBSD.org> | 2004-11-29 17:34:20 +0800 |
|---|---|---|
| committer | tobez <tobez@FreeBSD.org> | 2004-11-29 17:34:20 +0800 |
| commit | 0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6 (patch) | |
| tree | 31eaaea13597877e5e8f6408d8fbbd1937b8e776 /math/coq/Makefile | |
| parent | 5c65f0da9b9585380e926fc26e86931ad0fb915d (diff) | |
| download | freebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.tar.gz freebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.tar.zst freebsd-ports-gnome-0eb623d689d7d3bebdf588d1e1a98c1095b3f0c6.zip | |
Mark broken on ia64 and amd64.
PR: 74502
Submitted by: maintainer
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} |