comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Starting learning ADA
Date: Sat, 08 Jun 2019 21:10:33 +0100
Date: 2019-06-08T21:10:33+01:00	[thread overview]
Message-ID: <lyblz76dom.fsf@pushface.org> (raw)
In-Reply-To: 0f5a2a6b-d467-434c-8f3e-0964793e93ef@googlegroups.com

joakimds@kth.se writes:

> When opening the normal command prompt in Windows 10 and one executes
> "gcc --version" it should say it is the GNAT Community 2019 version of
> the compiler. You could try that in the Ubuntu Subsystem and I predict
> is will say gcc is the FSF version.

The other check is "gnatls -v". On this macbook I get

====================
$ gnatls -v

GNATLS Community 2019 (20190517-83)
Copyright (C) 1997-2019, Free Software Foundation, Inc.

Source Search Path:
   <Current_Directory>
   /opt/gnat-ce-2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/rts-native/adainclude


Object Search Path:
   <Current_Directory>
   /opt/gnat-ce-2019/lib/gcc/x86_64-apple-darwin17.7.0/8.3.1/rts-native/adalib


Project Search Path:
   <Current_Directory>
   /opt/gnat-ce-2019/x86_64-apple-darwin17.7.0/lib/gnat
   /opt/gnat-ce-2019/x86_64-apple-darwin17.7.0/share/gpr
   /opt/gnat-ce-2019/share/gpr
   /opt/gnat-ce-2019/lib/gnat
====================

and I'd expect your Linux version to look very similar, except that the
prefix (/opt/gnat-ce-2019) and the machine triplet
(x86_64-apple-darwin17.7.0) will of course change for your environment.

Note that the last set (Project Search Path) includes $prefix/share/gpr
and $prefix/lib/gnat; gnatcoll.gpr is in the first. So you should *not*
need to mess with ADA_PROJECT_PATH.

I can speak to the Mac environment, make an educated guess about the
Linux environment, but not so much about Windows.


  reply	other threads:[~2019-06-08 20:10 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-06-08 15:26 Starting learning ADA Ricardo Brandão
2019-06-08 15:53 ` Simon Wright
2019-06-08 17:07   ` Ricardo Brandão
2019-06-09  1:42     ` Dennis Lee Bieber
2019-06-09  7:25       ` Niklas Holsti
2019-06-08 15:55 ` joakimds
2019-06-08 17:10   ` Ricardo Brandão
2019-06-08 17:46     ` joakimds
2019-06-08 20:10       ` Simon Wright [this message]
2019-06-09 14:39         ` Ricardo Brandão
2019-06-09 17:44           ` Simon Wright
2019-06-09 18:12             ` Ricardo Brandão
2019-06-09 19:29               ` Dmitry A. Kazakov
2019-06-10 17:40               ` Dennis Lee Bieber
2019-06-09 18:23             ` Dennis Lee Bieber
2019-06-09 14:31       ` Ricardo Brandão
2019-06-09 19:35         ` Dmitry A. Kazakov
2019-06-10 12:28           ` Ricardo Brandão
replies disabled

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