diff -Nru gnat-4.6-4.6.4/debian/changelog gnat-4.6-4.6.4/debian/changelog
--- gnat-4.6-4.6.4/debian/changelog	2013-05-10 21:10:24.000000000 +0000
+++ gnat-4.6-4.6.4/debian/changelog	2013-06-05 18:20:13.000000000 +0000
@@ -1,3 +1,11 @@
+gnat-4.6 (4.6.4-1+rpi1) jessie-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>  Wed, 05 Jun 2013 18:11:38 +0000
+
 gnat-4.6 (4.6.4-1) unstable; urgency=low
 
   * Rebuild with gnat-4.6-source (>= 4.6.4-1).  Closes: #707261.
diff -Nru gnat-4.6-4.6.4/debian/rules2 gnat-4.6-4.6.4/debian/rules2
--- gnat-4.6-4.6.4/debian/rules2	2013-05-09 16:37:06.000000000 +0000
+++ gnat-4.6-4.6.4/debian/rules2	2013-06-05 18:11:28.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
 
@@ -602,7 +606,7 @@
     ifeq ($(with_arm_thumb),yes)
       #DEJAGNU_RUNS += -marm
     else
-      DEJAGNU_RUNS += -mthumb
+      # RPI DEJAGNU_RUNS += -mthumb
     endif
   endif
 endif