Commit b943604f authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

There's no 'write' to get a hold of when using AdaCore's runtime

parent 0a5c3e8d
......@@ -43,14 +43,16 @@ package body PolyORB_HI.Output_Low_Level is
procedure Put (S : String)
-- SPARK_Mode is distabled because of the Address attribute
is
procedure C_Write
(Fd : Interfaces.C.int;
P : System.Address;
Len : Interfaces.C.int);
pragma Import (C, C_Write, "write");
-- NOT POSSIBLE IN THE AdaCore GPL GNAT
--
-- procedure C_Write
-- (Fd : Interfaces.C.int;
-- P : System.Address;
-- Len : Interfaces.C.int);
-- pragma Import (C, C_Write, "write");
begin
C_Write (2, S (S'First)'Address, S'Length);
null; -- C_Write (2, S (S'First)'Address, S'Length);
-- 2 is standard error
end Put;
......
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