Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503

[Gabriel Dos Reis]

Martin Rubey <address@hidden> writes:

| Gabriel Dos Reis <address@hidden> writes:
| 
| > Martin Rubey <address@hidden> writes:
| 
| > | after installing binutils-dev, m4, libxpm-dev, libx11-dev, libxt-dev,
| > | libext-dev, libxmu-dev, libxmu-headers
| > | 
| > | build-improvements succeeded.
| > 
| > OK.
| 
| No. WONDERFUL! SUPERB! 

:-)

| > | I am currently retrying wh-sandbox with --enable-checking.
| > 
| > It is not clear to me that wh-sandbox has the --enable-checking bits.  One
| > drawback of Autoconf design is that when configure does not understand an
| > --enable-FEATURE switch, it says nothing.
| 
| Waldek already stated that it hasn't. 

yes, you're right; I saw his message only after I sent mine.

| You see, I really need wh-sandbox because of three reasons:
| 
| * HyperDoc "users" and "dependents" works
| 
| * there are many algebra bug fixes
| 
| * it contains my guessing package
| 
| (the last item depends on the second item, but the first item also is 
extremely
| helpful)

I do not doubt wh-sandbox is useful :-)
I believe that part of the HyperDoc and algebra that is known to be
solid and OK should be merged back to build-improvements, while the
other more experimental parts can remain in wh-sandbox until
consolidated. 

Ideally, all of this should be merged back to silver, but I don't know
what Silver is.  I would hate to change target every two or three
months. 

-- Gaby