View | Details | Raw Unified | Return to bug 74502
Collapse All | Expand All

(-)/usr/ports/math/coq/Makefile (+4 lines)
Lines 32-37 Link Here
32
32
33
.include <bsd.port.pre.mk>
33
.include <bsd.port.pre.mk>
34
34
35
.if ${ARCH} == "ia64" || ${ARCH} == "amd64"
36
BROKEN=	"OCaml bug prevents compilation"
37
.endif
38
35
.if exists(${LOCALBASE}/bin/lablgtk2)
39
.if exists(${LOCALBASE}/bin/lablgtk2)
36
BUILD_DEPENDS+=	lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
40
BUILD_DEPENDS+=	lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
37
RUN_DEPENDS+=	${BUILD_DEPENDS}
41
RUN_DEPENDS+=	${BUILD_DEPENDS}

Return to bug 74502