[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread Juan M. Bello Rivas
On Mon, Aug 20, 2007 at 03:47:42PM -0700, William Stein wrote: > I would very much appreciate someone fixing the singular spkg so flex and > bison are never needed. Maybe we could touch the generated files in > spkg-install > right at the beginnig? It would be very nice to remove those two > de

[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread William Stein
On 8/20/07, mabshoff <[EMAIL PROTECTED]> wrote: > Yes, that is true, but if the timestamp of the generated file is older > than say the bison input Make will rebuild it. One just needs to > update the spkg after running bison and flex manually. But since the > spkg-install checks for bison and fle

[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread mabshoff
On Aug 21, 12:12 am, "Juan M. Bello Rivas" <[EMAIL PROTECTED]> wrote: > Hi, > I'm not familiar with Singular, but after a quick look at the spkg I > see the files generated by flex and bison are included in the package. > Yes, that is true, but if the timestamp of the generated file is older

[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread Juan M. Bello Rivas
Hi, On Mon, Aug 20, 2007 at 02:28:04PM -0700, mabshoff wrote: > > flex 2.5.33 > > bison 2.3 > > That sounds about right. We had problems earlier with an older bison & > the Singular 3.0.3 I'm not familiar with Singular, but after a quick look at the spkg I see the files generated by flex and bis

[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread mabshoff
On Aug 20, 11:08 pm, "didier deshommes" <[EMAIL PROTECTED]> wrote: > [I was going to post this on Trac as an "enhancement", but Trac seems > to be down at the moment] > Hello, trac is working for me at the moment. > Hi, > Current;y, the only official dependencies for SAGE are: "gcc, g++, > ma

[sage-devel] Re: What you need to build SAGE

2007-08-20 Thread William Stein
On 8/20/07, didier deshommes <[EMAIL PROTECTED]> wrote: > [I was going to post this on Trac as an "enhancement", but Trac seems > to be down at the moment] I just checked and trac isn't down. If it ever does go down though, please report immediately. > Current;y, the only official dependencies