Waldek Hebisch <[EMAIL PROTECTED]> writes: > extendLocalLibdb is called by )lib command. However I wonder if it > extendLocalLibdb is really working for you: IIRC correctly you had > problem with addPatchesToLongLines and to correct extendLocalLibdb > we first have to correct addPatchesToLongLines (probably remove, but > I have to check consequences). Moreover, extendLocalLibdb tries to > remove old information but my impression is that this works only > partially (I expect that after multiple recompilations you may > accumulate out of date information).
The point is not so much that libdb.text is (re)built after (re)compilation. Rather, far example with our species (combinat) project, I compile everything with aldor (without ever starting axiom), but when I start axiom and say )lib MYLIB, libdb.text contains all the necessary information. And that's in my opinion something extremely powerful. > I have just commited speedup patch: it disables libdb.text updates during > build (as I wrote this is useless because we generate up to date libdb.text > later), but the installed compiler should work as before. Unfortunately, I do not have the time to check this now. Maybe you could compile some mini domain or package, quit axiom, delete libdb.text, start axiom, )lib MINIDOMAIN, and check whether HyperDoc finds MINIDOMAIN, or, hopefully equivalently, libdb.text contains the necessary information. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
