LPC11U37: missing device.h and other headers

[ticapix]

I'm trying to build for this device: http://www.seeedstudio.com/wiki/Arch_GPRS_V2 It works fine from the online IDE but not locally:

$ python ./workspace_tools/build.py --mcu=LPC11U37_501 --tool=GCC_ARM
[WARNING] Using default settings. Define your settings in the file "workspace_tools/private_settings.py" or in "./mbed_settings.py"
Building library CMSIS (LPC11U37_501, GCC_ARM)
Building library MBED (LPC11U37_501, GCC_ARM)
Compile: analogin_api.c
In file included from /tmp/mbed/libraries/mbed/targets/hal/TARGET_NXP/TARGET_LPC11UXX/analogin_api.c:17:0:
/tmp/mbed/build/mbed/analogin_api.h:19:20: fatal error: device.h: No such file or directory
 #include "device.h"
                    ^
compilation terminated.

Completed in: (0.02)s

  Build failures:
  * GCC_ARM::LPC11U37_501
$

It seems that there is no TARGET_ folder and this board is different from the Arch GPRS V1.

[0xc0170]

The target you should use is ARCH_GPRS, not LPC11U37_501.