Makefile.in: Add support for 32-bit VxWorks for SPARC in kernel mode.

2012-08-06  Jose Ruiz  <ruiz@adacore.com>                   
                                                            
	* gcc-interface/Makefile.in: Add support for 32-bit VxWorks for SPARC   
	in kernel mode.

From-SVN: r190173

gcc/ada/ChangeLog

+2012-08-06  Jose Ruiz  <ruiz@adacore.com>
+
+	* gcc-interface/Makefile.in: Add support for 32-bit VxWorks for SPARC
+	in kernel mode.
+
 2012-08-06  Arnaud Charlet  <charlet@adacore.com>
 
 	* prj-attr.adb (Register_New_Package): Add missing blank.

gcc/ada/gcc-interface/Makefile.in

@@ -784,16 +784,32 @@ ifeq ($(strip $(filter-out sparc% wrs vx%,$(targ))),)
   s-tasinf.ads<s-tasinf-vxworks.ads \
   s-taspri.ads<s-taspri-vxworks.ads \
   s-tpopsp.adb<s-tpopsp-vxworks.adb \
-  s-vxwork.ads<s-vxwork-sparcv9.ads \
   g-socthi.ads<g-socthi-vxworks.ads \
   g-socthi.adb<g-socthi-vxworks.adb \
-  g-stsifd.adb<g-stsifd-sockets.adb \
-  system.ads<system-vxworks-sparcv9.ads   \
+  g-stsifd.adb<g-stsifd-sockets.adb
 
   TOOLS_TARGET_PAIRS=\
   mlib-tgt-specific.adb<mlib-tgt-specific-vxworks.adb \
   indepsw.adb<indepsw-gnu.adb
 
+  ifeq ($(arch),sparc)
+    # 32-bits
+    LIBGNAT_TARGET_PAIRS += \
+    s-vxwork.ads<s-vxwork-sparc.ads \
+    system.ads<system-vxworks-sparc-kernel.ads
+  else
+    # 64-bits
+    LIBGNAT_TARGET_PAIRS += \
+    s-vxwork.ads<s-vxwork-sparcv9.ads \
+    system.ads<system-vxworks-sparcv9.ads
+  endif
+
+  ifeq ($(strip $(filter-out kernel,$(THREAD_KIND))),)
+    LIBGNAT_TARGET_PAIRS += \
+    s-vxwext.ads<s-vxwext-kernel.ads \
+    s-vxwext.adb<s-vxwext-kernel.adb
+  endif
+
   EXTRA_GNATRTL_NONTASKING_OBJS=i-vxwork.o i-vxwoio.o
   EXTRA_GNATRTL_TASKING_OBJS=s-vxwork.o s-vxwext.o