mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-01 05:45:45 +00:00
Code Issues Releases Activity

Mark broken on ia64 and amd64.

Browse Source 
PR:		74502
Submitted by:	maintainer
This commit is contained in:
Anton Berezin 2004-11-29 09:34:20 +00:00
parent e3ce862d41
commit e5db96d167
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=122742
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/coq/Makefile
View File

@ -32,6 +32,10 @@ ALL_TARGET= world
.include <bsd.port.pre.mk> .include <bsd.port.pre.mk>
.if ${ARCH} == "ia64" || ${ARCH} == "amd64"
BROKEN= "OCaml bug prevents compilation"
.endif
.if exists(${LOCALBASE}/bin/lablgtk2) .if exists(${LOCALBASE}/bin/lablgtk2)
BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
RUN_DEPENDS+= ${BUILD_DEPENDS} RUN_DEPENDS+= ${BUILD_DEPENDS}