From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,b2b519fb2d20e8d1
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Current statu of ASIS for GNAT 2012, please ?
Date: Thu, 29 Sep 2011 08:44:45 +0200
Organization: A noiseless patient Spider
Message-ID: <87lit7x2xu.fsf@ludovic-brenta.org>
References: <op.v2ii7quvule2fv@index.ici> <op.v2ipfjmgule2fv@index.ici>
	<87sjngwoo6.fsf@ludovic-brenta.org> <op.v2jex7zkule2fv@index.ici>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: mx04.eternal-september.org;
 posting-host="B+CDnxSZScOE+vRMMj+UBw";
	logging-data="5020"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19u0iYR7X/K2FvEaS9TvP4K"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Cancel-Lock: sha1:RzBhQhCgh5F4lL4Co7mjpSI/XQA=
	sha1:yKnXXdzvkzBYi9fggvyStXy7n48=
Xref: g2news1.google.com comp.lang.ada:21162
Date: 2011-09-29T08:44:45+02:00
List-Id: <comp.lang.ada>

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.