man maria-cso (Commandes) - shared library generator for maria

NAME

maria-cso - shared library generator for maria

SYNOPSIS

maria-cso directory library.so le.c...

maria-cso directory library.so le.c

DESCRIPTION

This manual page documents briey 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 les. The script invokes the C compiler and the linker, and it calculates checksums in order to avoid compiling unmodied modules.

The directory argument species the location of the source les. When the script is invoked with one le.c argument, it translates the le to the shared object library.so.

When maria-cso is invoked with multiple le.c arguments, it computes a checksum of a le named multiset.h and of each argument. When the header le multiset.h has been changed since the previous invocation of maria-cso, everything will be recompiled. Otherwise only those le.c modules that have been modified will be recompiled. The checksum les are multiset.sum and c.sum.

SEE ALSO

maria(1), sh(1).

ENVIRONMENT VARIABLES

CC
Name of the C compiler
CFLAGS
Command-line switches to be passed to the C compiler
DEFINES
Preprocessor macro definitions to be passed to the C compiler

FILES

/usr/share/maria/runtime/*.h
Header files for the run-time library

AUTHOR

This manual page was written by Marko Mkel <msmakela@tcs.hut.fi>. The maria-cso script and the compilation option were designed and implemented by Marko Mkel. Please see the copyright file in /usr/share/doc/maria for details.