I've created #14381 to at least separate m4 from autotools stuff.
On Thursday, December 20, 2012 5:27:57 PM UTC+1, Jean-Pierre Flori wrote:
>
>
>
> On Saturday, October 6, 2012 11:56:06 PM UTC+2, Jeroen Demeyer wrote:
>>
>> Since we just got another report of #11391, I would like to propose
>> ag
On Thursday, December 20, 2012 5:52:33 PM UTC+1, Snark wrote:
>
> Le 20/12/2012 17:27, Jean-Pierre Flori a �crit :
> > Ideally, from my point of view, I would prefer to have a completely
> > modular Sage and just do "apt-get install sage" but I fear it won't
> > happen soon.
>
> We're alrea
On Thursday, December 20, 2012 5:52:33 PM UTC+1, Snark wrote:
>
> Le 20/12/2012 17:27, Jean-Pierre Flori a �crit :
> > Ideally, from my point of view, I would prefer to have a completely
> > modular Sage and just do "apt-get install sage" but I fear it won't
> > happen soon.
>
> We're alrea
Le 20/12/2012 17:27, Jean-Pierre Flori a écrit :
Ideally, from my point of view, I would prefer to have a completely
modular Sage and just do "apt-get install sage" but I fear it won't
happen soon.
We're already a few working on it and things are progressing slowly.
You're welcome to join in t
On Saturday, October 6, 2012 11:56:06 PM UTC+2, Jeroen Demeyer wrote:
>
> Since we just got another report of #11391, I would like to propose
> again to add GNU m4 as standard package. The only possible argument
> against it would be that it makes the Sage source about 1MB larger...
>
> On 20
Since we just got another report of #11391, I would like to propose
again to add GNU m4 as standard package. The only possible argument
against it would be that it makes the Sage source about 1MB larger...
On 2012-06-19 14:34, Jeroen Demeyer wrote:
> How do you guys feel about adding a GNU M4 pac
How do you guys feel about adding a GNU M4 package? MPIR requires M4,
also PPL with its C interface (see #12672) requires a recent version of
M4. This would add about 1.2 MB to the Sage source distribution.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe fr
