problems with makefile in windows7 64b

[jbush]

I'm having a really hard time executing a makefile for the Cambridge University baking pi lesson 1. In a directory, I have dir template, containing (dir (build), dir source, containing ( main.s,), kernel.ld, MakeFile, and LICENCE ). I am using Windows 7 , I have downloaded GNU toolchain & using the gcc command prompt. in the dir with all the mentioned files and typed in "make," and get-- "'make' is not recognized as an internal or external command, operable program or batch file.". In the lesson one text it simply says "Open a terminal on your machine and type “"make"”". Any help would be appreciated. Thanks!

[TwilightSpectre]

Which GNU toolchain? If you got MinGW, you may have to type mingw32-make instead.

[jbush]

I am using the gcc-arm-none-eabi-4_8-2013q4-20131204-win32 toolchain