Mark as BROKEN on powerpc64-12. It seems to build everywhere else.

Approved by:	portmgr (tier-2 blanket)
This commit is contained in:
Mark Linimon
2020-05-29 22:20:26 +00:00
parent a2c187792f
commit 362a24d8e8

View File

@@ -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