Re: [Axiom-developer] NAG libraries

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

| Franz Lehner wrote:
| > > The --enable-checking only exists in the branches and is
| > > not in silver, as far as I'm aware.
| > that's what I learned so far as well.
| > So if I want both aldor and --enable-checking, I need to get yet another 
| > branch? Any suggestions?
| 
| It depends what you really want.  --enable-checking sets Lisp safety
| to 3, but only in build-improvements branch.  In wh-sandbox --enable-checking
| is ignored, like other unrecognized --enable-xxx options.
| 
| If you want to build with Lisp safety set to 3 than wh-sandbox
| should build OK.  AFAIK gold/silver will not build with
| safety set to 3 -- one has to fix a few problems and the fixes
| are not applied yet.  I am not sure about build-improvements.

I build build-improvements with safety 3 at least once a week.

| OTOH safety 3 means very significant slowdown.

Indeed.
That is the case at least on all my laptops and one desktop.
On a dual core dell optiplex, it takes only 3 hours.

I can have --enable-checking take a numeral arguments if that is
needed.

-- Gaby