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: 103376,b2b519fb2d20e8d1
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.38.134 with SMTP id g6mr57390165pbk.6.1317573532802;
        Sun, 02 Oct 2011 09:38:52 -0700 (PDT)
Path: 
 lh7ni9928pbb.0!nntp.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!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: Sun, 02 Oct 2011 18:38:51 +0200
Organization: A noiseless patient Spider
Message-ID: <87fwjbtkkk.fsf@ludovic-brenta.org>
References: <op.v2ii7quvule2fv@index.ici> <op.v2ipfjmgule2fv@index.ici>
	<87sjngwoo6.fsf@ludovic-brenta.org> <op.v2jex7zkule2fv@index.ici>
	<87lit7x2xu.fsf@ludovic-brenta.org> <op.v2k14smzule2fv@index.ici>
	<4fade922-81df-4480-83b1-d8025075306b@dm9g2000vbb.googlegroups.com>
	<op.v2m6l6khule2fv@index.ici> <877h4puldk.fsf@ludovic-brenta.org>
	<op.v2ofbeaeule2fv@index.ici>
	<4e883d20$0$7615$9b4e6d93@newsspool1.arcor-online.net>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="NHrfHKVZZft+a0qVdWr5ag";
	logging-data="31298"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/jUK1ETys6K1gzMt4qdCtZ"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Cancel-Lock: sha1:PwcNzdY0KD/z5jFGkzqjs+nHXjw=
	sha1:wvTdeGzqDj/Rsw8bx4zNtpTkFbw=
Xref: news1.google.com comp.lang.ada:18269
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2011-10-02T18:38:51+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus writes:
> On 01.10.11 16:17, Yannick Duchêne (Hibou57) wrote:
>> I tried, as you suggested, to install a Debian Sid within a chroot
>> environement, which was not better: there is either libaunit3, which
>> does not come with required AUnit files such as aunit.gpr, or either
>> libaunit1-dev, which provides a aunit.gpr among others required
>> files, but which unfortunately depends on GNAT 4.4... and bahm,
>> conflict.
>
> Somewhere on this long line you mentioned libaunit1-dev depending on
> GNAT 4.4; the package says it depends on ada-compiler.  Actually,
> AUnit v.1 indeed only needs an Ada compiler, no fancy configuration,
> Ada 95 should do.

No.  Debian is a binary distribution and respects the Ada Reference
Manual regarding consistency of binary executables, in particular clause
10.1.4(5).  Debian does this by stating and enforcing dependencies
between binary packages.  In this case:

- libaunit3 (the binary shared library package) depends on libgnat-4.4
- libaunit1-dev (the development package) depends on all of
  ada-compiler, gnat and gnat-4.4.  This is because the -dev package
  contains .ali files that encode dependencies to the .ali files in the
  gnat-4.4 run-time library.

Furthermore:

- gnat-4.4 and gnat-4.6 conflict with each other because they both
  provide /usr/bin/gnatmake et al.

Therefore, it is impossible to install both libaunit1-dev and
libasis2010-dev, because libaunit1-dev depends on gnat-4.4 while
libasis2010-dev depends on gnat-4.6.  This impossibility is intentional
and by design; it only reflects the fact that the .ali files in the -dev
packages are incompatible with each other.

It is these package dependencies, rendered necessary by the binary
nature of Debian, that cause problems for Yannick.

BTW, I uploaded libaunit2-dev, which depends on gnat-4.6, yesterday
evening.  It should reach Debian unstable in a few days at most.
Yannick, patience is your ally :)

> v.1 of AUnit is portable, pure Ada. For use with GNAT, it has been
> sufficient in the past to put a GNAT project file in some convenient
> place, or use one's own directories, or not use a project file at all!
> Just make the files accessible to the compiler.  (AUnit v.1 came when
> there was no project configuration description language yet.)

Yes, it is quite easy to copy the sources of aunit in a directory
outside of Debian's package-controlled files (i.e. anywhere under
$HOME), add a simple project file, and compile AUnit into any program.

-- 
Ludovic Brenta.