Issue with make check in Flint 3.4.0 Build

12 views
Skip to first unread message

Stéphane Massou

unread,
Jan 11, 2026, 6:06:13 PM (6 days ago) Jan 11
to flint-devel
Hi,

I have successfully built Flint 3.4.0 in my own build directory using the following steps:
mkdir build
cd build
CFLAGS="-O3 -march=native -fno-strict-aliasing" CXXFLAGS="-O3 -march=native -fno-strict-aliasing" ../configure --prefix=$HOME/local/flint-3.4.0 --with-gmp=$HOME/local/gmp-6.3.0 --with-mpfr=$HOME/local/mpfr-4.2.2 --enable-static

The build and make install work fine, but make check fails. Here's the output from make V=1 check:

gcc -g -O3 -march=native -fno-strict-aliasing -L/home/xxxxx/build_local_lib/flint-3.4.0/build/.. -I/home/xxxxx/build_local_lib/flint-3.4.0/build/../src -Isrc  -I/home/xxxxx/local/gmp-6.3.0/include -I/home/xxxxx/local/mpfr-4.2.2/include -DBUILDING_FLINT /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/main.c -o build/test/main -L/home/xxxxx/local/gmp-6.3.0/lib -L/home/xxxxx/local/mpfr-4.2.2/lib  -Wl,-rpath,.  -Wl,-rpath,/home/xxxxx/local/gmp-6.3.0/lib  -Wl,-rpath,/home/xxxxx/local/mpfr-4.2.2/lib -lflint -pthread -lmpfr -lgmp -lm  -MMD -MP -MF build/test/main.d
/usr/bin/ld : /tmp/ccA2cirf.o : dans la fonction « test_flint_sort » :
/home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:49:(.text+0x2af2) : référence indéfinie vers « flint_sort »
/usr/bin/ld : /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:50:(.text+0x2b0e) : référence indéfinie vers « flint_merge_sort »
/usr/bin/ld : /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:49:(.text+0x2cb5) : référence indéfinie vers « flint_sort »
/usr/bin/ld : /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:50:(.text+0x2cd0) : référence indéfinie vers « flint_merge_sort »
/usr/bin/ld : /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:69:(.text+0x2f60) : référence indéfinie vers « flint_merge_sort »
/usr/bin/ld : /home/xxxxx/build_local_lib/flint-3.4.0/build/../src/test/t-sort.c:69:(.text+0x332b) : référence indéfinie vers « flint_merge_sort »
collect2: erreur: ld a retourné le statut de sortie 1
make: *** [Makefile:695: build/test/main] Error 1

The issue appears to be with the -L/home/xxxxx/build_local_lib/flint-3.4.0/build/.. path. The library is not found in build/.., but it exists directly in build/. If I manually copy the library to build/.., everything works fine.

Is there a specific configuration option I might be missing when running ../configure?

Any help would be appreciated.

Best regards,

Stephane.

Albin Ahlbäck

unread,
Jan 12, 2026, 6:56:02 AM (6 days ago) Jan 12
to flint-devel
Dear Stephane,

I'll try to investigate this today.

Best,
Albin

--

---
You received this message because you are subscribed to the Google Groups "flint-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to flint-devel...@googlegroups.com.
To view this discussion, visit https://groups.google.com/d/msgid/flint-devel/9a8568e0-16e1-4078-a1c1-28ed18b120d3n%40googlegroups.com.

Albin Ahlbäck

unread,
Jan 12, 2026, 7:40:07 AM (6 days ago) Jan 12
to flint...@googlegroups.com, Stéphane Massou
Dear Stéphane,

I cannot reproduce this on HEAD of main branch. These were the steps I
used for building:

$ cd PATH/TO/MY/FLINT
$ make distclean
$ ./bootstrap.sh
$ mkdir build && cd build
$ ../configure --enable-static
$ make
$ make tests
$ make check

Not sure what goes wrong with your build. Can you try to follow these
steps, and see where it goes wrong?

Best,
Albin
> --
>
> ---
> You received this message because you are subscribed to the Google
> Groups "flint-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to flint-devel...@googlegroups.com <mailto:flint-
> devel+un...@googlegroups.com>.
> To view this discussion, visit https://groups.google.com/d/msgid/flint-
> devel/9a8568e0-16e1-4078-a1c1-28ed18b120d3n%40googlegroups.com <https://
> groups.google.com/d/msgid/flint-devel/9a8568e0-16e1-4078-
> a1c1-28ed18b120d3n%40googlegroups.com?utm_medium=email&utm_source=footer>.

Reply all
Reply to author
Forward
0 new messages