>> I dislike hardcoding it via ../algebra .

> We need to hardcode that _somewhere_.

I still dislike ../algebra, but don't want to stop you from committing.

I shouldn't try to solve problems before they really become a bottleneck.

Another point why I dislike ../algebra/abbrev.list is that it is only a
dependency. Make cannot go on if that file is missing, because the rules
for building abbrev.list live outside of src/doc/Makefile.

Well, not in our case a big problem (or a problem at all) since I need
AXIOMsys anyway to build the docs, but in general if there are rules
that cannot be resolved in one Makefile, the Makefile in src must
declare all of src/algebra a dependency of src/doc. So that stops make
from fully exploiting parallelism. But I guess you know already about
"Recursive Make Considered Harmful".
http://miller.emu.id.au/pmiller/books/rmch/

>> In addition to all of that...
>> Maybe it would be a good idea to already sort abbrev.list alphabetically
>> with respect to the long name of the constructor.
> 
> _That_ would create unneeded dependency.

I haven't checked carefully, but maybe some day abbrev.list would be
useful for other things. And "sort" is not really a dependency. It was
just an idea after all.

But what might be interesting is to put also all of the )abbrev
arguments into abbrev.list (including domain/package/category). By this
you could make the explicit SPADLIST* variables go away. (Maybe, you can
also do this without the domain/package/category tags.) I just thought
it might be a good idea to have *all* information in one place.
I don't yet know if the distinction into constructor classes is already
useful in the build process somewhere.

Anyway, I'm all for *not splitting* the .spad files during the build.

Ralf

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to