Date: Tue, 26 May 2020 01:28:20 +0000 (UTC) From: Mark Linimon <linimon@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-branches@freebsd.org Subject: svn commit: r536553 - branches/2020Q2/math/alt-ergo Message-ID: <202005260128.04Q1SKCT024866@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202005260128.04Q1SKCT024866>