From: Yuichi Goto <goto.yuichi@gmail.com>
Subject: Re: Installing GNAT-GPL-2013 and ASIS-GNAT-2013 on Ubuntu
Date: Tue, 10 Dec 2013 00:01:41 -0800 (PST)
Date: 2013-12-10T00:01:41-08:00 [thread overview]
Message-ID: <5d696a5e-1af9-4084-8d50-d88dd0697912@googlegroups.com> (raw)
In-Reply-To: <lytxemjqsj.fsf@pushface.org>
Dear Simon
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
next prev parent reply other threads:[~2013-12-10 8:01 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-12-06 8:27 Installing GNAT-GPL-2013 and ASIS-GNAT-2013 on Ubuntu Yuichi Goto
2013-12-06 9:02 ` Simon Wright
2013-12-10 7:58 ` Yuichi Goto
2013-12-10 8:01 ` Yuichi Goto [this message]
2013-12-06 17:35 ` Ludovic Brenta
2013-12-10 8:03 ` Yuichi Goto
2013-12-12 7:35 ` Ludovic Brenta
2013-12-12 7:43 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox