I have been setting MAKE and MAKEFLAGS for a long time, and I have not seen
any difference in the behavior of "make build". If I unset MAKE and
MAKEFLAGS, then it takes longer to build sagelib, as it should.
On Saturday, February 11, 2023 at 11:44:43 AM UTC-8 Nils Bruin wrote:
> On Saturday,
On Saturday, 11 February 2023 at 01:51:47 UTC-8 Dima Pasechnik wrote:
>
>make -j8 normaliz pynormaliz
>
> "sage -i" is obsolete - at least in my mind :-)
OK -- thanks! so what used to be "spkg"s are now makefile targets. That
reduces the possibility of having "third party" spkgs -- I guess
On Sat, 11 Feb 2023, 04:54 Nils Bruin, wrote:
> On Tuesday, 7 February 2023 at 09:56:06 UTC-8 Dima Pasechnik wrote:
> > I don't think setting MAKE is a good idea.
> >
> > Did you try simply
> >
> > make -j8 build
>
> This actually causes a bit of a problem when you want to install
>
On Tuesday, 7 February 2023 at 09:56:06 UTC-8 Dima Pasechnik wrote:
> I don't think setting MAKE is a good idea.
>
> Did you try simply
>
> make -j8 build
This actually causes a bit of a problem when you want to install additional
packages, like `sage -i normaliz pynormaliz`: I wouldn't
IIRC, some sanitising of MAKE was implemented, as with recursive make such
a setting really might lead to over-parallelisation
On Tue, 7 Feb 2023, 20:41 Nils Bruin, wrote:
> On Tuesday, 7 February 2023 at 09:56:06 UTC-8 dim...@gmail.com wrote:
> I don't think setting MAKE is a good idea.
>
>
On Tuesday, 7 February 2023 at 09:56:06 UTC-8 dim...@gmail.com wrote:
I don't think setting MAKE is a good idea.
Did you try simply
make -j8 build
Thanks! I've tried "touch src/sage/structure/*" -- that triggers quite a
large part of sagemathlib to be rebuilt. It used only 4 processes
I don't think setting MAKE is a good idea.
Did you try simply
make -j8 build
?
On Tue, 7 Feb 2023, 17:52 Nils Bruin, wrote:
> For the trac-to-github transition I decided to move over my git upstream
> and origin. That all seems to have worked fine and I pulled the latest
> develop and
For the trac-to-github transition I decided to move over my git upstream
and origin. That all seems to have worked fine and I pulled the latest
develop and ran "make configure" (was already happy) and then "make". This
worked fine for the most part and with export MAKE="make -j8" it went quite
