Closed fredrik-johansson closed 1 week ago
In INSTALL and on https://flintlib.org/doc/building.html, mention that libtool is needed in addition to autoconf.
INSTALL
libtool
autoconf
In
INSTALLand on https://flintlib.org/doc/building.html, mention thatlibtoolis needed in addition toautoconf.