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	2014-03-31 16:19:12.000000000 +0000
+++ gnat-4.6-4.6.4/debian/changelog	2014-04-21 12:20:26.000000000 +0000
@@ -1,3 +1,11 @@
+gnat-4.6 (4.6.4-2+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>  Mon, 21 Apr 2014 12:19:59 +0000
+
 gnat-4.6 (4.6.4-2) unstable; urgency=medium
 
   * Add myself as uploader.
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	2014-03-31 15:35:45.000000000 +0000
+++ gnat-4.6-4.6.4/debian/rules2	2014-04-21 12:20:26.000000000 +0000
@@ -354,9 +354,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)
@@ -368,9 +370,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
@@ -381,7 +385,7 @@
   endif
   CONFARGS += --with-float=$(float_abi)
   ifeq ($(with_arm_thumb),yes)
-    CONFARGS += --with-mode=thumb
+    # RPI CONFARGS += --with-mode=thumb
   endif
 endif
 
@@ -603,7 +607,7 @@
     ifeq ($(with_arm_thumb),yes)
       #DEJAGNU_RUNS += -marm
     else
-      DEJAGNU_RUNS += -mthumb
+      # RPI DEJAGNU_RUNS += -mthumb
     endif
   endif
 endif