Article View: fr.comp.lang.ada
Article #56Re: Problème de compilation avec Spark sous Ubuntu 12.04
From: Frédéric Praca
Date: Fri, 12 Oct 2012 12:08
Date: Fri, 12 Oct 2012 12:08
19 lines
2273 bytes
2273 bytes
On Thu, 11 Oct 2012 08:19:19 -0700, Jeffrey Carter wrote: > On 10/11/2012 05:23 AM, J-P. Rosen wrote: > > > > Donc (comme indiqué dans le message, mais ce n'est pas évident si on > > ne connait pas le truc), il faut remplacer le type T renvoyé par la > > fonction par un access T (+ les quelques modifs qui s'ensuivent). > > Non. Ceci est code SPARK; les access ne sont pas permis. Il faut > utiliser un compiler Ada-95, ou changer d'utiliser un "extended return". Comme je l'ai dit à Yannick, le code d'Ironsides mentionne bien l'utilisation d'un compilateur Ada-2005 et non d'un compilateur Ada-95. Se pourrait-il que la distribution de SPARK pour Windows fournisse les fichiers ali ? Cela aurait-il une incidence sur un code écrit pour de l'Ada-2005 mais l'incluant ? Je vais faire un test en téléchargeant SPARK-2011 depuis le site d'Adacore plutôt que d'utiliser les packages Ubuntu.
Technical Details
Message-ID:
<5078083c$0$1834$426a74cc@news.free.fr>Path:
arc1-ca.pugleaf.net!s9ni2360pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!feeder.erje.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp2-1.free.fr!not-for-mailReferences:
<50769542$0$1975$426a34cc@news.free.fr> <k56do5$767$1@dont-email.me> <k56o1o$aab$1@dont-email.me>Show Full Headers
Complete Article Headers
X-Google-Thread: 107e1d,52dac41c2c70e4bc
X-Google-NewGroupId: yes
X-Google-Attributes: gid43d0c745c,domainid0,public,usenet
X-Google-Language: FRENCH,UTF8
Received: by 10.66.83.35 with SMTP id n3mr1053232pay.23.1350043708911;
Fri, 12 Oct 2012 05:08:28 -0700 (PDT)
Path: arc1-ca.pugleaf.net!s9ni2360pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!feeder.erje.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp2-1.free.fr!not-for-mail
From: Frédéric Praca <frederic.praca@free.fr>
Subject: Re: Problème de compilation avec Spark sous
Ubuntu 12.04
Newsgroups: fr.comp.lang.ada
References: <50769542$0$1975$426a34cc@news.free.fr>
<k56do5$767$1@dont-email.me> <k56o1o$aab$1@dont-email.me>
User-Agent: Pan/0.136 (I'm far too busy being delicious; GIT 926a150
git://git.gnome.org/pan2)
MIME-Version: 1.0
Date: 12 Oct 2012 12:08:28 GMT
Lines: 19
Message-ID: <5078083c$0$1834$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 12 Oct 2012 14:08:28 CEST
NNTP-Posting-Host: 79.174.200.226
X-Trace: 1350043708 news-3.free.fr 1834 79.174.200.226:56480
X-Complaints-To: abuse@proxad.net
X-Received-Bytes: 1903
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit