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-branches
mailing list