Flint version and missing nmod.h

[bharathr98]

In the recent change where FLINT and BLAS were added as dependencies, there is a use of nmod.h from FLINT in ⬇️

sdpb/src/sdp_solve/SDP_Solver/run/bigint_syrk/fmpz/fmpz_mul_blas_util.hxx

Line 9 in 32afe5d

#include <flint/nmod.h>

Most older versions of FLINT do not have this header. Instead, the header was originally nmod_vec.h, which was later split into nmod.h and nmod_vec.h. This change was introduced in v2.8.5 (presumably, not explicitly mentioned in the changelog, but it can be seen in the PR flintlib/flint#1041)

The simplest fix would be to document this in the Install.md file. However I would personally request a different solution, since the UniGE cluster only has v2.7.1 available.

[vasdommes]

Will the following work with FLINT 2.7.1 on your cluster?

#if __FLINT_RELEASE >= 20805
#include <flint/nmod.h>
#else
#include <flint/nmod_vec.h>
#endif