On Fri, Dec 15, 2023 at 7:00 PM Ruchit Jagodara
<ruchit.jagod...@iitgn.ac.in> wrote:
>
> I am trying to rebuild sage using ./sage -br but it is failing for some 
> reason ( I don't know exactly what is the reason.) This is happening to me 
> since yesterday when I pulled developer branch from sage to get the most 
> updated branch but after that whenever I am trying to rebuild sage it is 
> giving some errors below are few lines of error message that I am getting. I 
> am working on Linux and using 10.2 Sage version.

Can you try

make build

(and not ./sage -br ?)


>
> ***************************************************************
> Error building Sage.
>
> The following package(s) may have failed to build (not necessarily
> during this run of 'make sagelib-no-deps'):
>
> * package:         sagelib-10.3.beta0
>   last build time: Dec 15 22:20
>   log file:        
> /home/ruchitjagodara/sage/sage/logs/pkgs/sagelib-10.3.beta0.log
>
> It is safe to delete any log files and build directories, but they
> contain information that is helpful for debugging build problems.
> WARNING: If you now run 'make' again, the build directory of the
> same version of the package will, by default, be deleted. Set the
> environment variable SAGE_KEEP_BUILT_SPKGS=yes to prevent this.
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-support+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/27b740b3-f0d5-4c68-8ee6-3f086ac17cd7n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/CAAWYfq2v5RsLE1carKeHJ3U4-zi3%2B6LLXS4gMhfCUwOrYs8Wmw%40mail.gmail.com.

Reply via email to