Re: [GCC-MELT-397] MELT 0.9.5rc1 etc...

2012-03-31 Thread Basile Starynkevitch
On Sat, 31 Mar 2012 15:55:50 +0200 Romain Geissler wrote: > Le 31 mars 2012 à 15:07, Jonathan Wakely a écrit : > > > On 31 March 2012 13:38, Basile Starynkevitch wrote: > >> > >> (I think that printf in AWK script is a GNU extension). > > > > Nope, it's standard. > > Yeah it is. I looked at y

Re: [GCC-MELT-397] MELT 0.9.5rc1 etc...

2012-03-31 Thread Romain Geissler
Le 31 mars 2012 à 15:07, Jonathan Wakely a écrit : > On 31 March 2012 13:38, Basile Starynkevitch wrote: >> >> (I think that printf in AWK script is a GNU extension). > > Nope, it's standard. Yeah it is. I looked at your the melt files in contrib (that's quite strange that the Makefile used to

Re: [GCC-MELT-397] MELT 0.9.5rc1 etc...

2012-03-31 Thread Jonathan Wakely
On 31 March 2012 13:38, Basile Starynkevitch wrote: > > (I think that printf in AWK script is a GNU extension). Nope, it's standard.

Re: [GCC-MELT-397] MELT 0.9.5rc1 etc...

2012-03-31 Thread Basile Starynkevitch
On Sat, 31 Mar 2012 14:02:45 +0200 Romain Geissler wrote: > > I forgot to add add that the awk usages you perform are so trivial that grep > will also fits your needs > and is a lower dependency than awk. I am not sure of that. MELT need several awk scripts, make-melt-predefh.awk & make-warme