Index: branches/2020Q3/math/cadical/Makefile
===================================================================
--- branches/2020Q3/math/cadical/Makefile	(revision 545197)
+++ branches/2020Q3/math/cadical/Makefile	(revision 545198)
@@ -1,40 +1,38 @@
 # $FreeBSD$
 
 PORTNAME=	cadical
 DISTVERSION=	1.0.3
 DISTVERSIONSUFFIX=	-cb89cbf
 PORTREVISION=	1
 CATEGORIES=	math devel
 MASTER_SITES=	http://fmv.jku.at/${PORTNAME}/
 
 MAINTAINER=	yuri@FreeBSD.org
 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
 
 CXXFLAGS+=	-fPIC
 
 MAKEFILE=	makefile
 
 BINARY_ALIAS=	make=${GMAKE}
 
 EXES=		cadical mobical
 
 PLIST_FILES=	${EXES:S/^/bin\//} \
 		include/ccadical.h \
 		lib/libcadical.a
 
 do-install:
 .for e in ${EXES}
 	${INSTALL_PROGRAM} ${WRKSRC}/build/${e} ${STAGEDIR}${PREFIX}/bin
 .endfor
 	${INSTALL_DATA} ${WRKSRC}/src/ccadical.h ${STAGEDIR}${PREFIX}/include
 	${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
Index: branches/2020Q3/math/cadical/files/patch-configure
===================================================================
--- branches/2020Q3/math/cadical/files/patch-configure	(revision 545197)
+++ branches/2020Q3/math/cadical/files/patch-configure	(revision 545198)
@@ -1,11 +1,20 @@
---- configure.orig	2019-12-04 05:29:57 UTC
+--- configure.orig	2019-07-12 20:22:02 UTC
 +++ configure
 @@ -154,7 +154,7 @@ do
        CXXFLAGS="`expr \"$1\" : 'CXXFLAGS=\(.*\)'`"
        ;;
  
 -    *) die "invalid option '$1' (try '-h')";;
 +    *) ;;
  
    esac
    shift
+@@ -396,7 +396,7 @@ sed \
+ -e "2c\\
+ # This 'makefile' is generated from '../makefile.in'." \
+ -e "s,@CXX@,$CXX," \
+--e "s,@CXXFLAGS@,$CXXFLAGS," \
++-e "s|@CXXFLAGS@|$CXXFLAGS|" \
+ -e "s,@MAKEFLAGS@,$MAKEFLAGS," \
+ ../makefile.in > makefile
+ 
Index: branches/2020Q3
===================================================================
--- branches/2020Q3	(revision 545197)
+++ branches/2020Q3	(revision 545198)

Property changes on: branches/2020Q3
___________________________________________________________________
Modified: svn:mergeinfo
## -0,0 +0,1 ##
   Merged /head:r545197