Article View: fr.comp.lang.ada
Article #57Re: Problème de compilation avec Spark sous Ubuntu 12.04
From: Frédéric Praca
Date: Fri, 12 Oct 2012 12:43
Date: Fri, 12 Oct 2012 12:43
29 lines
2880 bytes
2880 bytes
On Fri, 12 Oct 2012 12:08:28 +0000, Frédéric Praca wrote: > 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. Je me réponds car j'ai trouvé et que cela laissera une trace pour les générations futures ;) En fait, cela fonctionne avec la version 2012 de SPARK mais pas avec la 2011 incluse dans Ubuntu. Sur le fichier incriminé, la seule différence entre les deux versions vient d'un simple Pragma Ada_95 placé dans le corps.
Technical Details
Message-ID:
<50781088$0$1834$426a74cc@news.free.fr>Path:
arc1-ca.pugleaf.net!q11ni134325084wiw.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!94.232.116.11.MISMATCH!feed.xsnews.nl!border-1.ams.xsnews.nl!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed2-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> <5078083c$0$1834$426a74cc@news.free.fr>Show Full Headers
Complete Article Headers
X-Google-Thread: 43d0c745c,52dac41c2c70e4bc
X-Google-Attributes: gid43d0c745c,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: FRENCH,UTF8
Received: by 10.14.204.201 with SMTP id h49mr13961699eeo.5.1350353893125;
Mon, 15 Oct 2012 19:18:13 -0700 (PDT)
Path: arc1-ca.pugleaf.net!q11ni134325084wiw.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!94.232.116.11.MISMATCH!feed.xsnews.nl!border-1.ams.xsnews.nl!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed2-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>
<5078083c$0$1834$426a74cc@news.free.fr>
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:43:52 GMT
Lines: 30
Message-ID: <50781088$0$1834$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 12 Oct 2012 14:43:52 CEST
NNTP-Posting-Host: 79.174.200.226
X-Trace: 1350045832 news-3.free.fr 1834 79.174.200.226:56480
X-Complaints-To: abuse@proxad.net
Bytes: 2469
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit