Added support for GCC_ARM

workspace_tools/export/gccarm.py

@@ -21,7 +21,7 @@ from os.path import splitext, basename
 class GccArm(Exporter):
     NAME = 'GccArm'
     TOOLCHAIN = 'GCC_ARM'
-    TARGETS = ['LPC1768']
+    TARGETS = ['LPC1768', 'LPC4088']
     DOT_IN_RELATIVE_PATH = True
     
     def generate(self):

workspace_tools/targets.py

@@ -167,7 +167,7 @@ class LPC4088(Target):
         
         self.extra_labels = ['NXP', 'LPC408X']
         
-        self.supported_toolchains = ["ARM", "GCC_CR"]
+        self.supported_toolchains = ["ARM", "GCC_CR", "GCC_ARM"]
 
 # Use this target to generate the custom binary image for LPC4088 EA boards
 class LPC4088_EA(LPC4088):

workspace_tools/toolchains/gcc.py

@@ -167,7 +167,7 @@ class GCC_ARM(GCC):
         
         # Use latest gcc nanolib
         self.ld.append("--specs=nano.specs")
-        if target.name in ["LPC1768"]:
+        if target.name in ["LPC1768", "LPC4088"]:
             self.ld.extend(["-u", "_printf_float", "-u", "_scanf_float"])
         
         self.sys_libs.append("nosys")