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
455 stars 137 forks source link

do not try to build ntl interface #342

Closed p15-git-acc closed 3 years ago

p15-git-acc commented 3 years ago

closes https://github.com/fredrik-johansson/arb/issues/321

The arb configure and Makefile.in files are derived from flint which has an interfaces directory containing NTL-interace.cpp and its tests and docs. But arb doesn't have those things so this PR removes all references to them in its build scrips.

fredrik-johansson commented 3 years ago

Thanks!