diff -Nru gnat-4.6-4.6.3/debian/changelog gnat-4.6-4.6.3/debian/changelog
--- gnat-4.6-4.6.3/debian/changelog	2012-10-16 20:00:14.000000000 +0100
+++ gnat-4.6-4.6.3/debian/changelog	2012-11-06 20:17:53.000000000 +0000
@@ -1,3 +1,11 @@
+gnat-4.6 (4.6.3-8+rpi1) wheezy-staging; urgency=low
+
+  [Mike Thompson <mpthompson@gmail.com>]
+  * Modified to build for Raspberry Pi 
+  * Disabled thumb code option which is not supported on Raspberry Pi 
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Tue, 06 Nov 2012 20:17:15 +0000
+
 gnat-4.6 (4.6.3-8) unstable; urgency=low
 
   [Steven Chamberlain]
diff -Nru gnat-4.6-4.6.3/debian/rules2 gnat-4.6-4.6.3/debian/rules2
--- gnat-4.6-4.6.3/debian/rules2	2012-08-22 00:17:15.000000000 +0100
+++ gnat-4.6-4.6.3/debian/rules2	2012-11-06 20:17:53.000000000 +0000
@@ -351,9 +351,11 @@
     ifneq (,$(findstring gcj,$(PKGSOURCE)))
       with_arm_arch = armv6
     else
-      with_arm_arch = armv7-a
+      # RPI with_arm_arch = armv7-a
+      with_arm_arch = armv6
     endif
-    with_arm_fpu = vfpv3-d16
+    # RPI with_arm_fpu = vfpv3-d16
+    with_arm_fpu = vfp
   else
     # armel
     ifeq ($(distribution),Debian)
@@ -365,9 +367,11 @@
       ifneq (,$(findstring gcj,$(PKGSOURCE)))
         with_arm_arch = armv6
       else
-        with_arm_arch = armv7-a
+        # RPI with_arm_arch = armv7-a
+        with_arm_arch = armv6
       endif
-      with_arm_fpu = vfpv3-d16
+      # RPI with_arm_fpu = vfpv3-d16
+      with_arm_fpu = vfp
     else
       with_arm_arch = armv5t  # starting with quantal
     endif
@@ -378,7 +382,7 @@
   endif
   CONFARGS += --with-float=$(float_abi)
   ifeq ($(with_arm_thumb),yes)
-    CONFARGS += --with-mode=thumb
+    # RPI CONFARGS += --with-mode=thumb
   endif
 endif
 
@@ -591,7 +595,7 @@
     ifeq ($(with_arm_thumb),yes)
       #DEJAGNU_RUNS += -marm
     else
-      DEJAGNU_RUNS += -mthumb
+      # RPI DEJAGNU_RUNS += -mthumb
     endif
   endif
 endif