I think this is unlikely to be either a gcc or flint issue, but some
kind of linking issue on the machine in question.
Ordinarily flint supplies all the info needed to the linker when
running make check. But perhaps something is interfering with this, I
don't know.
The only thing I can recommend is checking that the directories that
are inserted at the beginning of the flint Makefile by configure are
correct (if not supply them to flint using the --with-gmp, --with-mpfr
options, etc.), and if so, try specifying LD_LIBRARY_PATH manually
before running make check.
Bill.
> To view this discussion on the web, visit
https://groups.google.com/d/msgid/flint-devel/CAHnU2dZXwqig%2BAE2ZE9QzbserOC%2BG6QrL-AA3amPD%3DjT52sudQ%40mail.gmail.com.