Re: Installing GNAT-GPL-2013 and ASIS-GNAT-2013 on Ubuntu

[Yuichi Goto <goto.yuichi@gmail.com>]

Thanks a lot.
I'll do it.


2013年12月6日金曜日 18時02分20秒 UTC+9 Simon Wright:
> Yuichi Goto <goto.yuichi@gmail.com> writes:
> 
> 
> 
> > After installing ASIS-GNAT-2013, I tried to compile a sample program
> 
> > about ASIS described at "ASIS-for-GNAT User's Guide: 2.4 Building the
> 
> > Executable for an ASIS application" on
> 
> > http://docs.adacore.com/asis-docs/asis_ug_3.html#SEC13 . But, I can't
> 
> > do that.
> 
> 
> 
> Having tried installing ASIS (on Mac OS X, but should be similar), I
> 
> think the problem is that AdaCore haven't kept this document up-to-date.
> 
> 
> 
> The instructions at [1] should tell you to create a GNAT Project file
> 
> and build using that. The minimal GPR for this example would be
> 
> 
> 
>    --  example1.gpr
> 
>    with "asis";
> 
>    project Example1 is
> 
>       for Main use ("example1.adb");
> 
>    end Example1;
> 
> 
> 
> (in the same directory as example1.adb) and you use it by
> 
> 
> 
>   $ gnatmake -P example1
> 
> 
> 
> More info on GNAT Project at [2] and [3].
> 
> 
> 
> [1] http://docs.adacore.com/asis-docs/asis_ug_3.html#SEC13
> 
> [2]
> 
> http://gcc.gnu.org/onlinedocs/gcc-4.6.0/gnat_ugn_unw/GNAT-Project-Manager.html
> 
> [3] http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html