Commit 9587f0c5 authored by jjhugues's avatar jjhugues
Browse files

* Adjust code generation to use dummy SPARK2014 tranport library

	For openaadl/polyorb-hi-ada#4
parent 63d92af8
......@@ -501,9 +501,15 @@ package body Ocarina.Backends.PO_HI_Ada is
case Transport_API is
when Transport_BSD_Sockets =>
Write_Indentation;
Write_Line
("for Body (""PolyORB_HI.Transport_Low_Level"")" &
" use ""polyorb_hi-transport_low_level_sockets.adb"";");
if Add_SPARK2014_Annotations then
Write_Line
("for Body (""PolyORB_HI.Transport_Low_Level"")" &
" use ""polyorb_hi-transport_low_level_spark.adb"";");
else
Write_Line
("for Body (""PolyORB_HI.Transport_Low_Level"")" &
" use ""polyorb_hi-transport_low_level_sockets.adb"";");
end if;
when Transport_SpaceWire =>
raise Program_Error;
......
Supports Markdown
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