make: *** No targets specified and no makefile found. Stop.
yes, this beta is a bit broken w.r.t. ./sage -b
See https://trac.sagemath.org/ticket/30153
On Sat, Jul 18, 2020 at 9:32 AM Michael Jung <mic...@uni-potsdam.de> wrote:
>
> Apparently, the makefile in src is missing somehow. But the original build was successful.
>
> --
> 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.