Re: tune-gen.h

I did not delete tune.h or tune-gen.h in src/kernel/gmp (or src/kernel/none). But even when I remove the copy from Olinix-x86_64 I get build errors:

In file included from ../src/kernel/gmp/mp.c:43:0:
../src/kernel/none/tune-gen.h:20:33: error: ‘__Flx_DIVREM_BARRETT_LIMIT’ undeclared here (not in a function)
../src/kernel/none/tune-gen.h:22:33: error: ‘__Flx_BARRETT_LIMIT’ undeclared here (not in a function)
../src/kernel/none/tune-gen.h:29:33: error: ‘__FpX_BARRETT_LIMIT’ undeclared here (not in a function)
make[1]: *** [mpker.o] Error 1
make: *** [gp] Error 2

Charles Greathouse
Analyst/Programmer
Case Western Reserve University

On Wed, Feb 6, 2013 at 2:54 AM, Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr> wrote:

On Tue, Feb 05, 2013 at 11:19:06PM -0500, Charles Greathouse wrote:
> When building the latest git version, I get this error:
>
> In file included from ../src/kernel/gmp/mp.c:43:0:
> ../src/kernel/none/tune-gen.h:20:33: error: ‘__Flx_DIVREM_BARRETT_LIMIT’
> undeclared here (not in a function)
> ../src/kernel/none/tune-gen.h:22:33: error: ‘__Flx_BARRETT_LIMIT’
> undeclared here (not in a function)
> ../src/kernel/none/tune-gen.h:29:33: error: ‘__FpX_BARRETT_LIMIT’
> undeclared here (not in a function)
> make[1]: *** [mpker.o] Error 1
> make: *** [gp] Error 2
>
> My tune.h had been out of date so I moved it elsewhere so it would
> regenerate, but my tune-gen.h matches the current git version in using
> these three constants.

You probably have a file Olinux-x86_64/tune.h which is outdated.
Be sure you did not delete src/kernel/gmp/tune.h

Cheers,
Bill.