Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 29 May 2020 22:22:38 +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: r537000 - branches/2020Q2/math/cadical
Message-ID:  <202005292222.04TMMcD9008945@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: linimon
Date: Fri May 29 22:22:38 2020
New Revision: 537000
URL: https://svnweb.freebsd.org/changeset/ports/537000

Log:
  MFH: r536999
  
  Mark as BROKEN on powerpc64-12.  It seems to build everywhere else.
  
  Approved by:	portmgr (tier-2 blanket)

Modified:
  branches/2020Q2/math/cadical/Makefile
Directory Properties:
  branches/2020Q2/   (props changed)

Modified: branches/2020Q2/math/cadical/Makefile
==============================================================================
--- branches/2020Q2/math/cadical/Makefile	Fri May 29 22:20:26 2020	(r536999)
+++ branches/2020Q2/math/cadical/Makefile	Fri May 29 22:22:38 2020	(r537000)
@@ -13,6 +13,8 @@ COMMENT=	Simple CDCL satisfiability solver
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
+BROKEN_FreeBSD_12_powerpc64=	fails to build: sed: 1: "s,@CXXFLAGS@,-O2 -pipe  ...": bad flag in substitute command: '-'
+
 USES=		compiler:c++0x gmake tar:xz
 GNU_CONFIGURE=	yes
 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202005292222.04TMMcD9008945>