comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Where to good the good ASIS version for my version of GNAT ?
Date: Sat, 06 Nov 2010 14:16:00 +0000
Date: 2010-11-06T14:16:00+00:00	[thread overview]
Message-ID: <m2sjzey1un.fsf@pushface.org> (raw)
In-Reply-To: 87eiaysuhq.fsf@ludovic-brenta.org

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> As I explained in [1] above, you need more than just gnatvsn, you need
> to replace all of the gnat subdirectory of ASIS with the corresponding
> sources from GCC.  That's what I did by creating libgnatvsn in Debian.
>
> (Note: this library also contains an object file, version.o, produced
> from version.c, which is generated during the configure step of GCC).

Replacing asis-2009-src/gnat with a symlink to gcc-4.5.0/gcc/ada
certainly doesn't work! (of course, that wouldn't contain version.o).

See posting earlier today for an approach which worked for me.



  reply	other threads:[~2010-11-06 14:16 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-11-05  8:41 Where to good the good ASIS version for my version of GNAT ? Yannick Duchêne (Hibou57)
2010-11-05 10:44 ` Yannick Duchêne (Hibou57)
2010-11-05 11:00 ` sjw
2010-11-05 11:26   ` Yannick Duchêne (Hibou57)
2010-11-05 13:03     ` Ludovic Brenta
2010-11-06  0:37       ` Simon Wright
2010-11-06  3:25         ` Yannick Duchêne (Hibou57)
2010-11-06 13:55           ` Simon Wright
2010-11-06  5:28         ` Yannick Duchêne (Hibou57)
2010-11-06 12:14           ` Yannick Duchêne (Hibou57)
2010-11-06 14:11             ` Simon Wright
2010-11-08 17:51         ` Simon Wright
2010-11-06  3:22       ` Yannick Duchêne (Hibou57)
2010-11-06  6:19       ` Yannick Duchêne (Hibou57)
2010-11-06  8:53         ` Ludovic Brenta
2010-11-06 14:16           ` Simon Wright [this message]
2010-11-05 17:13 ` Vadim Godunko
2010-11-06  3:20   ` Yannick Duchêne (Hibou57)
2010-11-06  9:10   ` Yannick Duchêne (Hibou57)
2010-11-07  0:26 ` Yannick Duchêne (Hibou57)
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox