Bug#831664: why3: please make the build reproducible

[Ralf Treinen <treinen@free.fr>]

Hi,

On Mon, Jul 18, 2016 at 11:53:06AM +0200, Chris Lamb wrote:

> Whilst working on the "reproducible builds" effort [0], we noticed
> that why3 could not be built reproducibly.

> +-BUILDDATE="$(date)"
> ++if test -n "$SOURCE_DATE_EPOCH"; then
> ++	BUILDDATE="$(LC_ALL=C date --utc --date="@${SOURCE_DATE_EPOCH}")"
> ++else
> ++	BUILDDATE="$(date)"
> ++fi

thanks. Since I had already patched the package to not use BUILDDATE, I now
just dropped it completely from configure.in.

-Ralf.