The version of GCC you're using sounds fine... It should be pretty easy to get going - you'd hope :)
You shouldn't need object files either... PRECOMPILED_OBJS does point to an object file, but that file is built by the Makefile (I'm afraid I forget how though).
... actually, is it worth you just using mbed to set up a 'hello world' project? You can then export that to GCC and work from there?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
The version of GCC you're using sounds fine... It should be pretty easy to get going - you'd hope :)
You shouldn't need object files either...
PRECOMPILED_OBJS
does point to an object file, but that file is built by the Makefile (I'm afraid I forget how though).... actually, is it worth you just using mbed to set up a 'hello world' project? You can then export that to GCC and work from there?