What's an SDK prompt?  Also, cmake appears to be smart enough that you need not have the toolchain in your path.  You can do `cmake --build .` from a normal command prompt and it will succeed.  (At least it does for me?)