This manual page documents briefly the maria-cso command.
maria-cso is a shell script invoked by maria in order to compile generated C code into dynamically
loadable shared object files. The script invokes the C compiler and the linker, and it calculates
checksums in order to avoid compiling unmodified modules.
The directory argument specifies the location of the source files. When the script is invoked with one
file.c argument, it translates the file to the shared object library.so.
When maria-cso is invoked with multiple file.c arguments, it computes a checksum of a file named
multiset.h and of each argument. When the header file multiset.h has been changed since the previous
invocation of maria-cso, everything will be recompiled. Otherwise only those file.c modules that have
been modified will be recompiled. The checksum files are multiset.sum and c.sum.