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