From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Thu, 29 Sep 2011 08:44:45 +0200
Date: 2011-09-29T08:44:45+02:00 [thread overview]
Message-ID: <87lit7x2xu.fsf@ludovic-brenta.org> (raw)
In-Reply-To: op.v2jex7zkule2fv@index.ici
Yannick Duchêne writes on comp.lang.ada:
> Ludovic, I finally did what I should have tried first: simply use the
> ASIS source from http://libre.adacore.com/libre/download/ (shame on
> me) It compiled fine with this freshly compiled GCC+GNAT-4.6
What is your goal? If you want to learn how to compile everything from
sources then you are doing the right thing and eventually you should
consider joining the merry team of Debian Ada maintainers. But if you
only want to use GNAT, ASIS and SPARK then why don't you simply use the
existing Debian packages in unstable? (Yes, SPARK is there too!)
--
Ludovic Brenta.
The resources enable tolerably expensive pipelines.
next prev parent reply other threads:[~2011-09-29 6:44 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-28 9:56 Current statu of ASIS for GNAT 2012, please ? Yannick Duchêne (Hibou57)
2011-09-28 12:10 ` Yannick Duchêne (Hibou57)
2011-09-28 17:40 ` Ludovic Brenta
2011-09-28 21:21 ` Yannick Duchêne (Hibou57)
2011-09-29 6:44 ` Ludovic Brenta [this message]
2011-09-29 18:39 ` Yannick Duchêne (Hibou57)
2011-09-30 13:23 ` Ludovic Brenta
2011-09-30 22:11 ` Yannick Duchêne (Hibou57)
2011-10-01 9:11 ` Ludovic Brenta
2011-10-01 14:17 ` Yannick Duchêne (Hibou57)
2011-10-01 16:12 ` Ludovic Brenta
2011-10-01 16:34 ` Ludovic Brenta
2011-10-02 18:41 ` Yannick Duchêne (Hibou57)
2011-10-03 7:07 ` Ludovic Brenta
2011-10-02 18:58 ` Yannick Duchêne (Hibou57)
2011-10-02 10:29 ` Georg Bauhaus
2011-10-02 16:38 ` Ludovic Brenta
2011-10-02 17:44 ` Georg Bauhaus
2011-10-02 18:28 ` Ludovic Brenta
2011-09-29 12:57 ` Stephen Leake
2011-09-29 18:46 ` Yannick Duchêne (Hibou57)
2011-09-30 10:10 ` Stephen Leake
2011-09-30 13:29 ` Ludovic Brenta
2011-09-29 21:54 ` Simon Wright
2011-09-30 6:11 ` Ludovic Brenta
2011-10-01 6:39 ` Simon Wright
2011-10-01 9:01 ` Ludovic Brenta
2011-10-15 13:50 ` Simon Wright
2011-10-15 14:05 ` Ludovic Brenta
2011-10-15 14:36 ` Simon Wright
2011-10-15 2:21 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox