* prove target is available only for PolyORB-HI/Ada

f9e6158e · yoogx · 17a091ce · f9e6158e
Commit f9e6158e authored Jul 17, 2015 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 5 deletions

src/backends/ocarina-backends-build_utils.adb src/backends/ocarina-backends-build_utils.adb +7 -5

No files found.
--- a/src/backends/ocarina-backends-build_utils.adb
+++ b/src/backends/ocarina-backends-build_utils.adb
@@ -1577,11 +1577,13 @@ package body Ocarina.Backends.Build_Utils is
            Compile_Ada_Files (M.Ada_Sources);
            Write_Eol;

-            Write_Line ("prove:");
-            Write_Line
-              (ASCII.HT &
-               "gnatprove -P$(PROJECT_FILE) --warnings=continue " &
-               "--report=fail");
+            if Get_Current_Backend_Kind = PolyORB_HI_Ada then
+               Write_Line ("prove:");
+               Write_Line
+                 (ASCII.HT &
+                    "gnatprove -P$(PROJECT_FILE) --warnings=continue " &
+                    "--report=fail");
+            end if;

            --  Close the file