Re: [sage-devel] flint/bootstrap.sh on the github CI workers

2023-06-29 Thread Dima Pasechnik
By right, one should have a tarball not needing autotools. Build such a tarball if flint does not provide one, and use it. On Thu, 29 Jun 2023, 18:56 Marc Mezzarobba, wrote: > Hi, > > At https://github.com/sagemath/sage/pull/35848 I'm trying to make sage > build with flint3. It does build on

[sage-devel] flint/bootstrap.sh on the github CI workers

2023-06-29 Thread Marc Mezzarobba
Hi, At https://github.com/sagemath/sage/pull/35848 I'm trying to make sage build with flint3. It does build on my laptop, but autoreconf seems to behave differently locally and on the CI VMs, and I have no idea why. It would be great if someone with more knowledge of autotools and/or our CI infras