diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2020-05-29 22:22:38 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2020-05-29 22:22:38 +0000 |
| commit | 15397cfbe4ee7c39443c366f61b017ac94407f51 (patch) | |
| tree | b099a20b3ffd62fbb7921df817c1bc7a1e1c58c8 /math | |
| parent | 98d79749b4b4a3d2b466166e74f8ae6335a5a51c (diff) | |
| download | ports-15397cfbe4ee7c39443c366f61b017ac94407f51.tar.gz ports-15397cfbe4ee7c39443c366f61b017ac94407f51.zip | |
MFH: r536999
Mark as BROKEN on powerpc64-12. It seems to build everywhere else.
Approved by: portmgr (tier-2 blanket)
Notes
Notes:
svn path=/branches/2020Q2/; revision=537000
Diffstat (limited to 'math')
| -rw-r--r-- | math/cadical/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/cadical/Makefile b/math/cadical/Makefile index f5b9456bc3d7..6a49d12f9a20 100644 --- a/math/cadical/Makefile +++ b/math/cadical/Makefile @@ -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 |