[sr-dev] git:master:93c11cab: Makefile.defs: build commands updated to support many memory managers