cc3000-patch-programmer | TI Patch Programmer , ported to STM32

The Spark Core uses an ARM Cortex M3 CPU based microcontroller. All of the code is built around the GNU GCC toolchain offered and maintained by ARM. Download and install the latest version from: https://launchpad.net/gcc-arm-embedded. See this Gist for how to get setup on OS X. In order to turn your source code into binaries, you will need a tool called make. Windows users need to explicitly install make on their machines. Make sure you can use it from the terminal window. Download and install the latest version from: http://gnuwin32.sourceforge.net/packages/make.htm. Install dfu-util. Mac users can install dfu-util with Homebrew, Linux users may find it in their package manager, and everyone can get it from http://dfu-util.gnumonks.org/index.html. In order for the Core to show up on the dfu list, you need to replace the USB driver with a utility called Zadig. Here is a tutorial on using it. This is only required for Windows users. Download and install Git: http://git-scm.com/.
GCC for ARM Cortex processors
Make
Device Firmware Upgrade Utilities
Zadig (for windows users only)
Git
The Spark Core - CC3000 Patch Programmer is organized into two repositories. The main patch firmware is located under cc3000-patch-programmer, while the supporting library is under core-common-lib. You can access all of the repositories via any git interface or download it directly from the website.
git clone https://github.com/spark/cc3000-patch-programmer.git
git clone https://github.com/spark/core-common-lib.git
cd cc3000-patch-programmer
git checkout dfu-user
cc3000-patch-programmer
core-common-lib
arm-none-eabi-gcc and other required gcc/arm binaries not in the PATH. Solution: Add the /bin folder to your $PATH (i.e. export PATH="$PATH:<SOME_GCC_ARM_DIR>/bin). Google "Add binary to PATH" for more details.
You get make: *** No targets specified and no makefile found. Stop.. Solution: cd cc3000-patch-programmer/build.