This comments out two calls to openblas_set_num_threads in profile files: this function is not necessarily available even when Flint was compiled with BLAS (this is at least the case when using a BLAS library other than OpenBLAS). This resulted in make profile not going through.
This is only partially fixed, by commenting out, so that we can make profile safely. For keeping in mind the wish for a real fix, I added a comment in https://github.com/flintlib/flint/issues/1378 .
This comments out two calls to
openblas_set_num_threads
in profile files: this function is not necessarily available even when Flint was compiled with BLAS (this is at least the case when using a BLAS library other than OpenBLAS). This resulted inmake profile
not going through.