Compatibility with OASIS when building libraries

[aantron]

EDIT: Namespaces currently works around the issue by allowing the user to delete all .mllib files in the source tree during build, but this is by no means a "nice" solution.

In brief, both Namespaces and OASIS currently generate .mllib files, and these conflict with each other. The OASIS one "wins", as a result the .cm[x]a is broken because it does not include all the necessary modules. A current workaround is to list all the modules generated by Namespaces in _oasis under Modules:, but this is obviously unmaintainable.

Any help from OASIS experts would be appreciated.

See discussion.