search

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
457 stars 137 forks source link

Fixing MINGW64 build #418

Closed mazar closed 2 years ago

mazar commented 2 years ago

ARB does not build correctly in MINGW64. -std=c99 needs to be added to CFLAGS in configure script. Also copied some more logic related to auto detection of OS and ARCH from https://github.com/fredrik-johansson/flint2/blob/trunk/configure

fredrik-johansson commented 2 years ago

Thanks. Since the code is the same as in the flint configure (as far as I can tell) there shouldn't be any issue with it, assuming that you've tested it. Will merge immediately.

mazar commented 2 years ago

@fredrik-johansson any plans on releasing a new tag with the latest commits?