/SINGULAR_DATADIR/c\ #define SINGULAR_DATADIR "/usr/local/Singular/LIB" /SINGULAR_INFODIR/c\ #define SINGULAR_INFODIR "/usr/local/info"