Re: [Axiom-developer] Building Axiom

[Gabriel Dos Reis]

Martin Rubey <address@hidden> writes:

[...]

| In fact, as I noted already there is a tiny flaw in the current bootstrap
| process.
| 
| When adding several layers of spad files, as I did for my guessing package, 
one
| has to add each layer one at the time, and has to call make as
| 
| make DAASE=$AXIOM/../../int 
| 
| Otherwise the newly built algebra files will not be in the database that
| interpsys uses: it uses those in ${SRC}/share by default.

Yes, I noted that too (I did not know you "suffered" from that).  I
found it a bug and postpone it to latter when I have courage to attack
it.  The compiler should use database *built* from the current source.

| Thus, I think the Makefile should really work as follows:
| 
|  * for each layer
|   
|  *   start interpsys
|   
|  *   compile all files in the layer
|   
|  *   create the databases
| 
| from the second iteration on, of course, it should use the new databases.

We should find ways to speed up the database manipulation.

Also, Tim, I noticed that currently the database format is a mix of
two beast.  What is the "right" direction and what are your plans?

| HOWEVER: quite certainly, this will make the build process slower, instead of
| faster, for two reasons:

yes; but we have to speed up the compiler (and probably GCL too).

| * It takes quite some time to create the databases
| 
| * compiling slows down when several files are compiled. Certainly this is a
|   bug, but I have no idea where to find it...
| 
| Of course, the latter can be circumvented by starting a fresh interpsys for
| every file that gets compiled, just as it is done now.

but, that is very slow.  The compiler should be able to compiler
several files in row.

| 
| I guess, the best way to speed up the build process is to document the
| compiler.

Hear! Hear! Hear!

-- Gaby