... see the file COMPILING.
