Just add exit 0
at the 1st line of build/pkgs/sagenb/spkg-install On Tue, Oct 30, 2018 at 2:57 PM Daniel Krenn <kr...@aon.at> wrote: > > On 2018-10-30 14:44, Dima Pasechnik wrote: > > If you insist of building sagenb on python3 (where it's broken) > > then one should not build its docs there > > (docbuilding of sagenb on python3 is known to be broken) > > I do not need sagenb nor docs at all. I simply want a SageMath on > Python3 to see the failing doctests in sage.rings.asymptotic and to play > around with these. > > Is there a way to exclude this from the build? > > Daniel > > > On Tue, Oct 30, 2018 at 2:35 PM Daniel Krenn <kr...@aon.at> wrote: > >> > >> On 2018-10-30 13:47, Eric Gourgoulhon wrote: > >>> I had the same problem this morning, while performing the python3 build > >>> of Sage 8.5.beta1: > >>> [sagenb-1.1.0] Error installing package sagenb-1.1.0 > >>> The command was > >>> MAKE="make -j8" make build > >>> Running it a second time lead to a successful build though... > >> > >> Tried again, but still get the same error (both with build in parallel > >> and single threaded) > >> > >> Daniel > >> > >> -- > >> 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 post to this group, send email to sage-devel@googlegroups.com. > >> Visit this group at https://groups.google.com/group/sage-devel. > >> For more options, visit https://groups.google.com/d/optout. > > > > -- > 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 post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
