From owner-svn-ports-head@freebsd.org  Mon Aug  5 18:34:17 2019
Return-Path: <owner-svn-ports-head@freebsd.org>
Delivered-To: svn-ports-head@mailman.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.nyi.freebsd.org (Postfix) with ESMTP id 7D978AA2E8;
 Mon,  5 Aug 2019 18:34:17 +0000 (UTC)
 (envelope-from jbeich@freebsd.org)
Received: from freefall.freebsd.org (freefall.freebsd.org [96.47.72.132])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 server-signature RSA-PSS (4096 bits)
 client-signature RSA-PSS (4096 bits) client-digest SHA256)
 (Client CN "freefall.freebsd.org",
 Issuer "Let's Encrypt Authority X3" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id 462RHs2g9Vz42xw;
 Mon,  5 Aug 2019 18:34:17 +0000 (UTC)
 (envelope-from jbeich@freebsd.org)
Received: by freefall.freebsd.org (Postfix, from userid 1354)
 id 549A01DB64; Mon,  5 Aug 2019 18:34:17 +0000 (UTC)
From: Jan Beich <jbeich@FreeBSD.org>
To: Fernando =?utf-8?Q?Apestegu=C3=ADa?= <fernape@FreeBSD.org>
Cc: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: Re: svn commit: r508195 - head/math/cvc4
References: <201908051659.x75GxQvT068722@repo.freebsd.org>
Date: Mon, 05 Aug 2019 20:34:14 +0200
In-Reply-To: <201908051659.x75GxQvT068722@repo.freebsd.org> ("Fernando
 =?utf-8?Q?Apestegu=C3=ADa=22's?= message of "Mon, 5 Aug 2019 16:59:26 +0000
 (UTC)")
Message-ID: <pnlj-v4ux-wny@FreeBSD.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/svn-ports-head>, 
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head/>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Aug 2019 18:34:17 -0000

Fernando Apestegu=C3=ADa <fernape@FreeBSD.org> writes:

> Author: fernape
> Date: Mon Aug  5 16:59:25 2019
> New Revision: 508195
> URL: https://svnweb.freebsd.org/changeset/ports/508195
>
> Log:
>   math/cvc4: Fix headers
>=20=20=20
>   Fix headers so other programs can include them safely.
>=20=20=20
>   This unbreaks lang/maude and lang/solidity

If package isn't rebuilt this won't help. Also, antoine (from portmgr)
already marked those as BROKEN in r508058 and r508059.

> +post-patch:
> +	@${REINPLACE_CMD} -e "s|sed -i 's|sed -i.bak 's|g" \
> +	${WRKSRC}/src/fix-install-headers.sh
> +	@${FIND} ${WRKSRC} -name '*.bak' -delete

fix-install-headers.sh isn't installed, so why its backup file would?
Try the following

	@${REINPLACE_CMD} -e "s|sed -i 's|sed -i '' 's|g" \
		${WRKSRC}/src/fix-install-headers.sh

or

	@${REINPLACE_CMD} -i '' -e "s|sed -i 's|sed -i '' 's|g" \
		${WRKSRC}/src/fix-install-headers.sh