Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 05 Aug 2019 20:34:14 +0200
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
Message-ID:  <pnlj-v4ux-wny@FreeBSD.org>
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 %2B0000 (UTC)")
References:  <201908051659.x75GxQvT068722@repo.freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?pnlj-v4ux-wny>