Mass platform updates for GCC 4.6.3

[tinyos-2.x.git] / tos / platforms / tinynode / .platform

diff --git a/tos/platforms/tinynode/.platform b/tos/platforms/tinynode/.platform
index 08829375203a5a42283829a5acdb37d0291f5a45..527ff84fa6b7834a61e34420322a03ab084a2a3f 100644 (file)
--- a/tos/platforms/tinynode/.platform
+++ b/tos/platforms/tinynode/.platform
@@ -35,7 +35,7 @@ push( @includes, qw(
 
 @opts = qw(
        -gcc=msp430-gcc
-       -mmcu=msp430x1611
+       -mmcu=msp430f1611
         -fnesc-target=msp430
         -fnesc-no-debug);
 
@@ -44,3 +44,29 @@ push @opts, "-mingw-gcc" if $cygwin;
 
 #@commonplatforms = ("msp430");
 
+$ENV{'CIL_MACHINE'} =
+    "version_major=3 " .
+    "version_minor=2 " .
+    "version=msp430-3.2.3 " .
+    "short=2,2 " .
+    "int=2,2 " .
+    "long=4,2 " .
+    "long_long=8,2 " .
+    "pointer=2,2 " .
+    "enum=2,2 " .
+    "float=4,2 " .
+    "double=4,2 " .
+    "long_double=4,2 " .
+    "void=1,1 " .
+    "fun=1,2 " .
+    "wchar_size_size=2,2 " .
+    "alignof_string=1 " .
+    "max_alignment=1 " .
+    "char_wchar_signed=true,true " .
+    "const_string_literals=true " .
+    "big_endian=false " .
+    "underscore_name=false " .
+    "__builtin_va_list=true " .
+    "__thread_is_keyword=true";
+    
+