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:11:55 +0000
Date: 2010-11-06T14:11:55+00:00 [thread overview]
Message-ID: <m2wroqy21g.fsf@pushface.org> (raw)
In-Reply-To: op.vlq0a6reule2fv@garhos
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Le Sat, 06 Nov 2010 06:28:16 +0100, Yannick Duchêne (Hibou57)
> <yannick_duchene@yahoo.fr> a écrit:
>>> . replace sinfo.ad[bs] by gcc-4.5.0/gcc/ada/sinfo.ad[bs]
>> These are the kind of files with which standard markups for
>> outlining would help.
>>
>> For the resulting ASIS, unfortunately, it failed.
>>
>> A test with gnatpp:
>>
>> ==> transmitting, expected 65536 bytes, found length = 5
>> raised PROGRAM_ERROR : Inconsistent versions of GNAT and ASIS
>
> Erratum: that way to do works. I tried again when I felt to remember I
> forget to do “make tools install-tools” (so I simply tested with the
> tools produced by a previous test).
>
> OK, finally, I have two working ASIS.
Good to hear it.
next prev parent reply other threads:[~2010-11-06 14:11 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 [this message]
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
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