Running "make build" should be a good replacement.
On Saturday, August 1, 2020 at 2:13:02 PM UTC-7, Chase Meadors wrote:
>
> Is there an easy workaround for this on until the fix is merged? e.g. how
> can I accomplish the same thing as "sage -b"? I'm on beta6 by the way.
>
> On Saturday, July
Is there an easy workaround for this on until the fix is merged? e.g. how
can I accomplish the same thing as "sage -b"? I'm on beta6 by the way.
On Saturday, July 18, 2020 at 4:27:12 AM UTC-6, Dima Pasechnik wrote:
>
> yes, this beta is a bit broken w.r.t. ./sage -b
> See
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 wrote:
>
> Apparently, the makefile in src is missing somehow. But the original build
> was successful.
>
> --
> You received this message because you are
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
