comp.lang.ada
 help / color / mirror / Atom feed
From: singo <sander.ingo@gmail.com>
Subject: gnat: Execution_Time is not supported in this configuration
Date: Fri, 4 Dec 2009 03:09:35 -0800 (PST)
Date: 2009-12-04T03:09:35-08:00	[thread overview]
Message-ID: <5e5d6fb5-e719-4195-925c-d1286699393d@f16g2000yqm.googlegroups.com> (raw)

Dear Ada community,

I have recently become very interested of Ada 2005, and it's real-time
annex. However, as a new user of Ada I face some problems with the
software.

I cannot get the package Ada.Execution_Time to work with gnat,
although the gnat documentation says that the real-time annex is fully
supported... I use the gnat version 4.4 on a Ubuntu 9.10 distribution.

The typical error message I get is

gcc -c executiontime.adb
Execution_Time is not supported in this configuration
compilation abandoned

How can I configure gnat to support the Ada.Execution_Time package?

Hopefully somebody can help me!

Thanks in advance!

Ingo

Below follows an example program that generates the error messge.

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Real_Time; use Ada.Real_Time;
with Ada.Execution_Time;

procedure ExecutionTime is
   task T;

   task body T is
      Start : CPU_Time;
      Interval : Time_Span := Milliseconds(100);
   begin
      Start := Ada.Execution_Time.Clock;
      loop
         Put_Line(Duration'Image(Ada.Execution_Time.Clock - Start));
         delay To_Duration(Interval);
      end loop;
   end T;
begin
   null;
end ExecutionTime;




             reply	other threads:[~2009-12-04 11:09 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-12-04 11:09 singo [this message]
2009-12-04 11:26 ` gnat: Execution_Time is not supported in this configuration Dmitry A. Kazakov
2009-12-04 12:10 ` Georg Bauhaus
2009-12-07  8:08   ` singo
2009-12-07 17:13     ` John B. Matthews
2009-12-04 18:28 ` John B. Matthews
2009-12-04 19:01   ` Dmitry A. Kazakov
2009-12-04 21:50     ` John B. Matthews
2009-12-05  2:59     ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox