./sage -b yields error

75 views
Skip to first unread message

Michael Jung

unread,
Jul 18, 2020, 3:42:12 AM7/18/20
to sage-devel
Hello,
today, I have built Sage 9.2.beta5 completely from scratch. I wanted to checkout a ticket and quickly rebuild the source code by using "./sage -b". Surprisingly, I got the following error message (I hope, it is correctly translated into English):

make: *** No targets specified and no makefile found.  Stop.

Is something wrong with my machine or has something lately been changed?

Best
Michael

Michael Jung

unread,
Jul 18, 2020, 4:32:10 AM7/18/20
to sage-devel
Apparently, the makefile in src is missing somehow. But the original build was successful.

Dima Pasechnik

unread,
Jul 18, 2020, 6:27:12 AM7/18/20
to sage-devel
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-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/50e8e5d8-4f89-4dbd-8620-3736abe0aa00o%40googlegroups.com.

Chase Meadors

unread,
Aug 1, 2020, 5:13:02 PM8/1/20
to sage-devel
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 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.

John H Palmieri

unread,
Aug 1, 2020, 8:28:33 PM8/1/20
to sage-devel
Running "make build" should be a good replacement.
Reply all
Reply to author
Forward
0 new messages