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

Failure to build with --with-ntl #321

Closed jengelh closed 3 years ago

jengelh commented 4 years ago

Building arb-2.18.1:

» ./configure --with-ntl
FLINT_LIB_DIR set to /usr/local/lib
FLINT_INC_DIR set to /usr/local/include
Configuring...x86_64-Linux
Testing __builtin_popcountl...yes
Testing native popcount...yes
Testing __thread...yes
ARB was successfully configured.
» make -j16
make[2]: Entering directory '~/arb/arb_fmpz_poly'
    CC   ../build/arb_fmpz_poly/deflate.lo
    CC   ../build/arb_fmpz_poly/complex_roots.lo
    CC   ../build/arb_fmpz_poly/deflation.lo
    CC   ../build/arb_fmpz_poly/evaluate_acb.lo
    CC   ../build/arb_fmpz_poly/evaluate_acb_horner.lo
    CC   ../build/arb_fmpz_poly/evaluate_acb_rectangular.lo
    CC   ../build/arb_fmpz_poly/evaluate_arb_horner.lo
    CC   ../build/arb_fmpz_poly/evaluate_arb.lo
    CC   ../build/arb_fmpz_poly/evaluate_arb_rectangular.lo
    CC   ../build/arb_fmpz_poly/gauss_period_minpoly.lo
    CC   ../build/arb_fmpz_poly/inlines.lo
    CC   ../build/arb_fmpz_poly/../arb_fmpz_poly.lo
make[2]: Leaving directory '~/arb/arb_fmpz_poly'
make[2]: Entering directory '~/arb'
make[2]: *** No rule to make target 'build/interfaces/NTL-interface.lo'.  Stop.
make[2]: Leaving directory '~/arb'
g++: error: build/interfaces/NTL-interface.lo: No such file or directory
make[1]: *** [Makefile:129: libarb.so.2.9.1] Error 1
make[1]: Leaving directory '~/arb'
make: *** [Makefile:158: library] Error 2

Given there is no NTL-interface.c to be found, I guess with-ntl should be purged from the configure script.