diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2011-11-11 02:53:39 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2011-11-11 02:53:39 +0000 |
| commit | f392d0db72a6c5b8af5869257362e2d2aadc8035 (patch) | |
| tree | f016fdfb93f9603d5a1e71339cf63ee4901853dc /math/coq | |
| parent | Mark as broken on powerpc-9: fails to compile. (diff) | |
Mark as broken on powerpc: fails to link.
Hat: portmgr
Feature safe: yes
Notes
Notes:
svn path=/head/; revision=285502
Diffstat (limited to 'math/coq')
| -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 3fa67da75800..85aae46c97ca 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -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} |