Revise configure file - Githubissues

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

Revise configure file #405

Open albinahlback opened 2 years ago

albinahlback commented 2 years ago

I was thinking of doing something similar to https://github.com/wbhart/flint2/pull/1068, perhaps with some modifications. Will open a draft PR when I get started, but I will wait for the PR in FLINT to get merged before changing it in Arb.