svn commit: r537000 - branches/2020Q2/math/cadical

Mark Linimon linimon at FreeBSD.org
Fri May 29 22:22:38 UTC 2020


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, at CXXFLAGS@,-O2 -pipe  ...": bad flag in substitute command: '-'
+
 USES=		compiler:c++0x gmake tar:xz
 GNU_CONFIGURE=	yes
 


More information about the svn-ports-all mailing list