svn commit: r508195 - head/math/cvc4

[Jan Beich]

Fernando Apesteguía <fernape at 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
>   
>   Fix headers so other programs can include them safely.
>   
>   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