Mark as broken on powerpc: fails to link.
Hat: portmgr Feature safe: yes
This commit is contained in:
parent
ef249bc006
commit
f392d0db72
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=285502
@ -33,4 +33,10 @@ post-patch:
|
||||
post-configure:
|
||||
@${REINPLACE_CMD} -e "s|-xchar=unsigned||g" ${WRKSRC}/Makefile
|
||||
|
||||
.include <bsd.port.mk>
|
||||
.include <bsd.port.pre.mk>
|
||||
|
||||
.if ${ARCH} == "powerpc"
|
||||
BROKEN= Does not link on powerpc
|
||||
.endif
|
||||
|
||||
.include <bsd.port.post.mk>
|
||||
|
@ -45,6 +45,10 @@ PORTDOCS= *
|
||||
MAN1= coq-tex.1 coq_makefile.1 coqc.1 coqchk.1 coqdep.1 coqdoc.1 \
|
||||
coqmktop.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 coqwc.1 gallina.1
|
||||
|
||||
.if ${ARCH} == "powerpc"
|
||||
BROKEN= Does not link on powerpc
|
||||
.endif
|
||||
|
||||
.if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2)
|
||||
BUILD_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
|
||||
RUN_DEPENDS+= ${BUILD_DEPENDS}
|
||||
|
Loading…
Reference in New Issue
Block a user