svn commit: r536553 - branches/2020Q2/math/alt-ergo

[Mark Linimon]

Author: linimon
Date: Tue May 26 01:28:20 2020
New Revision: 536553
URL: https://svnweb.freebsd.org/changeset/ports/536553

Log:
  MFH: r535698
  
  Mark as BROKEN on powerpc64:
  
    /tmp/camlasm2822e8.s: Assembler messages:
    /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is not between 0xffffffffffff8000 and 0x0000000000007ffc)
    /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is not between 0xffffffffffff8000 and 0x0000000000007ffc)
  
  Approved by:	portmgr (tier-2 blanket)

Modified:
  branches/2020Q2/math/alt-ergo/Makefile
Directory Properties:
  branches/2020Q2/   (props changed)

Modified: branches/2020Q2/math/alt-ergo/Makefile
==============================================================================
--- branches/2020Q2/math/alt-ergo/Makefile	Tue May 26 01:23:20 2020	(r536552)
+++ branches/2020Q2/math/alt-ergo/Makefile	Tue May 26 01:28:20 2020	(r536553)
@@ -15,6 +15,8 @@ LICENSE_NAME=	Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] 
 LICENSE_FILE=	${WRKSRC}/LICENSE
 LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
 
+BROKEN_powerpc64=	fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range
+
 BUILD_DEPENDS=	ocaml-zarith>1.2:math/ocaml-zarith \
 		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
 RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph