From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: gnat: Execution_Time is not supported in this configuration
Date: Fri, 04 Dec 2009 13:10:26 +0100
Date: 2009-12-04T13:10:27+01:00 [thread overview]
Message-ID: <4b18fc33$0$6718$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <5e5d6fb5-e719-4195-925c-d1286699393d@f16g2000yqm.googlegroups.com>
singo schrieb:
> 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 reason are explained in the GNAT source files. The ones I have show
a note, after the � box:
------------------------------------------------------------------------------
-- --
-- GNAT RUN-TIME COMPONENTS --
-- --
-- A D A . E X E C U T I O N _ T I M E --
-- --
-- S p e c --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. In accordance with the copyright of that document, you can freely --
-- copy and modify this specification, provided that if you redistribute a --
-- modified version, any changes that you have made are clearly indicated. --
-- --
------------------------------------------------------------------------------
-- This unit is not implemented in typical GNAT implementations that lie on
-- top of operating systems, because it is infeasible to implement in such
-- environments.
-- If a target environment provides appropriate support for this package
-- then the Unimplemented_Unit pragma should be removed from this spec and
-- an appropriate body provided.
with Ada.Task_Identification;
with Ada.Real_Time;
package Ada.Execution_Time is
pragma Preelaborate;
pragma Unimplemented_Unit;
next prev parent reply other threads:[~2009-12-04 12:10 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-12-04 11:09 gnat: Execution_Time is not supported in this configuration singo
2009-12-04 11:26 ` Dmitry A. Kazakov
2009-12-04 12:10 ` Georg Bauhaus [this message]
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