it seems that your addition is conditional on SAGE_FAT_BINARY being set to yes.
It should not be so. On Fri, 3 Apr 2020, 19:56 Jakub Jabłoński, <goog...@gmail.com> wrote: > I have added --disable-openmp here in spkg-install.in: > if [ "$SAGE_FAT_BINARY" = yes ]; then > FFLAS_FFPACK_CONFIGURE="--disable-openmp --disable-sse --disable-sse2 > --disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 > --disable-fma --disable-fma4 --disable-avx --disable-avx2 --disable-avx512f > --disable-avx512dq --disable-avx512vl $FFLAS_FFPACK_CONFIGURE" > fi > > Previous log is after adding that, new log > > > > > On Friday, April 3, 2020 at 12:46:49 PM UTC+2, Jakub Jabłoński wrote: >> >> >> >> On Friday, April 3, 2020 at 11:57:29 AM UTC+2, Dima Pasechnik wrote: >>> >>> could you post the top-level config.log ? >>> >>> >>> On Fri, 3 Apr 2020 at 16:59, Dima Pasechnik <dim...@gmail.com> wrote: >>> >>>> you are building fflas-ffpack with OpenMP on, for some reason. >>>> it should be possible to modify its spkg-install.in file so that it >>>> does not happen, rebuild it, and sagelib itself. >>>> >>>> >>>> On Fri, 3 Apr 2020 at 16:40, Jakub Jabłoński <goo...@gmail.com> wrote: >>>> >>>>> Okay, uploaded only log which seems to be relevant (it's failing) >>>>> >>>>> -- >>>>> You received this message because you are subscribed to the Google >>>>> Groups "sage-devel" group. >>>>> To unsubscribe from this group and stop receiving emails from it, send >>>>> an email to sage-...@googlegroups.com. >>>>> To view this discussion on the web visit >>>>> https://groups.google.com/d/msgid/sage-devel/6ae55f28-f271-4486-8d23-4c5f802ef5fc%40googlegroups.com >>>>> <https://groups.google.com/d/msgid/sage-devel/6ae55f28-f271-4486-8d23-4c5f802ef5fc%40googlegroups.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/62253b78-f79c-45b9-b6ea-ea80e5cd30a2%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/62253b78-f79c-45b9-b6ea-ea80e5cd30a2%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3Fypz_Dp28p6FsApETjCvQn%2BP42buJ%3D-eF1uXe4b8KLQ%40mail.gmail.com.
