flint/bootstrap.sh on the github CI workers

27 views
Skip to first unread message

Marc Mezzarobba

unread,
Jun 29, 2023, 1:56:14 PM6/29/23
to sage-...@googlegroups.com
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 infrastructure could take a look.

Thanks,

--
Marc

Dima Pasechnik

unread,
Jun 29, 2023, 3:04:56 PM6/29/23
to sage-devel
By right, one should have a tarball not needing autotools.

Build such a tarball if flint does not provide one,
and use it.



--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/u7kgjh%24mde%241%40ciao.gmane.io.
Reply all
Reply to author
Forward
0 new messages