[sage-devel] Re: Problem re-installing sage-10.5

2025-02-02 Thread Antonio Rojas
This is a bug in the Debian nauty package. Apparently they patch it to build against system libcliquer but don't actually link to it. Disable system nauty in configure. El lunes, 3 de febrero de 2025 a las 7:44:35 UTC+1, tdumont escribió: > I apologize if this problem as already be solved (I wa

[sage-devel] Problem re-installing sage-10.5

2025-02-02 Thread Thierry Dumont
I apologize if this problem as already be solved (I was far from my computer for some time). I maintain two versions of Sage the 10.5 stable, and the 10.6 beta*. I am using a Debian testing amd-64 distribution. After upgrading my Debian system, both versions could not start. So, I made: mak

Re: [sage-devel] Error after making some changes in the code

2025-02-02 Thread Dima Pasechnik
On Sun, Feb 2, 2025 at 5:58 PM Pawani Agarwal wrote: > > Okay thank you. Also ./sage is also not working so should I do make distclean > and then make? typically "make distclean" (it takes long time to rebuild everything from scratch) is not needed after changes in src/sage/ "make build" shoul

Re: [sage-devel] Error after making some changes in the code

2025-02-02 Thread Pawani Agarwal
Okay thank you. Also ./sage is also not working so should I do make distclean and then make? On Sun, 2 Feb 2025 at 11:58 PM, David Roe wrote: > The first thing I would try would be to use `make build` rather than sage > -br. The error you're seeing is related to missing flint, and sage -br > o

Re: [sage-devel] Error after making some changes in the code

2025-02-02 Thread David Roe
The first thing I would try would be to use `make build` rather than sage -br. The error you're seeing is related to missing flint, and sage -br only helps with changes to Cython code within the Sage library, not packages that Sage depends on. David On Sun, Feb 2, 2025 at 9:11 AM Pawani Agarwal <

Re: [sage-devel] Regarding rebuilding sage

2025-02-02 Thread Pawani Agarwal
Okay thanks alot. On Sat, 1 Feb 2025 at 3:00 AM, Dima Pasechnik wrote: > On Fri, Jan 31, 2025 at 12:59 PM Pawani Agarwal > wrote: > > > > I am a new contributor. So I am right now exploring issues on github. So > for this do I need make test? What exactly is this for > > 1) to check that your S