diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2017-05-27 00:20:19 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2017-05-27 00:20:19 +0000 |
| commit | c52a715800ff83f6a958709fb689f16631b4ef8a (patch) | |
| tree | 6ebe315b8b10cbc2ec7619f8a666f8cab5b7b90c /math/coq | |
| parent | 13751f7ab8e0664df6343f3b041a3aeaca0d8712 (diff) | |
| download | ports-c52a715800ff83f6a958709fb689f16631b4ef8a.tar.gz ports-c52a715800ff83f6a958709fb689f16631b4ef8a.zip | |
Mark some ports failing on armv6, for errors classified as "???",
part 2.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
Notes
Notes:
svn path=/head/; revision=441819
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 6303a1752909..58260aa16ec3 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -18,6 +18,9 @@ BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 +BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") +BROKEN_powerpc= fails to link + USES= gmake gettext-runtime USE_EMACS= yes USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango @@ -32,8 +35,6 @@ CONFIGURE_ARGS= -prefix ${PREFIX} \ MAKE_ENV= VERBOSE=1 ALL_TARGET= world -BROKEN_powerpc= does not link - OPTIONS_DEFINE= DOCS IDE OPTIONS_DEFAULT= IDE OPTIONS_SUB= yes |