devel/ahven: Disable style checks to prepare for gcc49

Avhen enables numerous style checks for the production build, but
unfortunately the "then placement" check fails on Ahven too.  There
are at least two source files that need changing, so let's just
remove the checks completely.  They are developer switches IMO.

1 files changed, 10 insertions, 0 deletions

diff --git a/devel/ahven/files/patch-gnat_ahven__lib.gpr b/devel/ahven/files/patch-gnat_ahven__lib.gpr
new file mode 100644
index 000000000000..26ebbd1b7789
--- /dev/null
+++ b/devel/ahven/files/patch-gnat_ahven__lib.gpr
@@ -0,0 +1,10 @@
+--- gnat/ahven_lib.gpr.orig	2014-02-08 21:21:51.000000000 +0000
++++ gnat/ahven_lib.gpr
+@@ -43,6 +43,6 @@ project Ahven_Lib is
+                                        "-gnatwl",
+                                        "-gnatE",
+                                        "-gnatwF", -- unreferenced formal off
+-                                       "-gnatyd3ibmhex", "-gnat95");
++                                       "-gnat95");
+   end Builder;
+ end Ahven_Lib;