Commit 5139aaa3 authored by yoogx's avatar yoogx

* Use pseudo-target SPARK for the prove target

parent 3187a113
......@@ -1581,8 +1581,8 @@ package body Ocarina.Backends.Build_Utils is
Write_Line ("prove:");
Write_Line
(ASCII.HT &
"gnatprove -P$(PROJECT_FILE) --warnings=continue " &
"--report=fail");
"gnatprove -P$(PROJECT_FILE) -XTARGET=SPARK "
& "--warnings=continue --report=fail");
end if;
-- Close the file
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment