Added patchs to fix gnatpp version bug.

1 files changed, 20 insertions, 0 deletions

diff --git a/patch-a4g-a_opt.adb b/patch-a4g-a_opt.adb
new file mode 100644
index 000000000000..5a4e3efb40e0
--- /dev/null
+++ b/patch-a4g-a_opt.adb
@@ -0,0 +1,20 @@
+--- asis/a4g-a_opt.adb-orig	2015-11-04 08:07:22.751223374 +1100
++++ asis/a4g-a_opt.adb	2015-11-04 08:08:19.197892357 +1100
+@@ -175,7 +175,7 @@
+                when 's' =>
+ 
+                   if Parameter = "-sv" then
+-                     Strong_Version_Check := True;
++                     Strong_Version_Check := False;
+                   else
+                      Unknown_Parameter := True;
+                   end if;
+@@ -241,7 +241,7 @@
+    begin
+       Is_Initialized       := False;
+       ASIS_Warning_Mode    := Normal;
+-      Strong_Version_Check := True;
++      Strong_Version_Check := False;
+       Generate_Bug_Box     := True;
+       Keep_Going           := False;
+    end Set_Off;