There are also certain things ALLPROSE can not (yet) do.
ALLPROSE does not yet automatically test the environment that allows
it to work properly. Section 9 describes how to setup ALLPROSE
manually.
ALLPROSE tries to resolve Aldor source code dependencies
automatically, but it is not able to correctly resolve extensions of domains.
Certainly the extended domain must exist before being extended, so
dependencies would be clear if a domain is extended only once. We are not
certain whether it is reasonable to forbid multiple extensions within one
library. Imposing such a restriction would allow us to resolve dependencies
easily. At the moment we assume that there are no extensions of a domain
that is defined in the project library.
As a workaround to the extension problem, one can, however, put such
explicit dependencies into Makefile.def.nw. However, we have not yet
worked out a concrete example, how it should be done.
The extension problem will be treated when need arises. So do not hesitate
to contact me at ralf@hemmecke.de.
ALLPROSE does not yet support the creation of libraries for the Axiom
computer algebra system. Well, at least there is no running example.
There is no reason why ALLPROSE could not build libraries that have
libaxiom.al instead of libaldor.al as their basic library. Unfortunately,
the code connected to the testsuite generation cannot work, since the
additional libraries ExtIO and AldorUnit require libaldor.al.