ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

GCC 4.9.1 is available at
https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/4.9.1/

It was built on Mavericks and is compatible with Yosemite.

The README:

This is GCC 4.9.1 built for Mac OS X Mavericks (10.9.5, Darwin
13.5.0), with Xcode 6.0.1.

gcc-4.9.1-x86_64-apple-darwin13.tar.bz2
=======================================

Compilers included: Ada, C, C++, Objective C, Objective C++, Fortran.

Tools included:

Full GPL:
  ASIS, AUnit, GDB, GNATColl, and GPRbuild from GNAT GPL 2014.

GPL with Runtime Library Exception[1]:
  XMLAda from the public SVN repository[2] at revision 233185
    (XMLAda-SVN for short).
  AWS from the public git repository[3] at commit
    e0d260e2d5dbbd93577949307935848de2390818 (AWS-git for short).

Target: x86_64-apple-darwin13
Configured with: ../gcc-4.9.1/configure \
  --prefix=/opt/gcc-4.9.1 \
  --disable-multilib \
  --disable-nls \
  --enable-languages=c,c++,ada,fortran,objc,obj-c++ \
  --host=x86_64-apple-darwin13 \
  --target=x86_64-apple-darwin13 \
  --build=x86_64-apple-darwin13 \
  --with-host-libstdcxx=-lstdc++
Thread model: posix
gcc version 4.9.1 (GCC)

MD5 (gcc-4.9.1-x86_64-apple-darwin13.tar.bz2) = f04d5d773174a4a58cdd2dd4871785a4

[1] http://www.gnu.org/licenses/gcc-exception-faq.html
[2] http://svn.eu.adacore.com/anonsvn/Dev/trunk/xmlada
[3] http://forge.open-do.org/anonscm/git/aws/aws.git

Install by
=======

$ cd /
$ sudo tar jxvf ~/Downloads/gcc-4.9.1-x86_64-apple-darwin13.tar.bz2

and put /opt/gcc-4.9.1/bin first on your PATH.

Installing GDB
--------------

gdb has to be 'code-signed' (unless you're willing to run it as root!)

Instructions are at
https://gcc.gnu.org/onlinedocs/gnat_ugn_unw/Codesigning-the-Debugger.html

Notes
=====

The compiler is GPL verson 3. The runtime has the GCC Runtime
Exception, so executables built with it can be released on proprietary
terms PROVIDED THAT they make no use of the the packages from GNAT GPL
2014, which are full GPL.

Thanks to Mario Roy <marioeroy@gmail.com> for finding the configure
flag --with-host-libstdcxx=-lstdc++, which suppresses GCC bug 61027.

Thanks to Leo Brewin <leo.brewin@internode.on.net> for reporting a
problem on Mac OS X Yosemite (10.10) ("gcc: warning: couldn't
understand kern.osversion '14.0.0'", followed by undefined symbols
__Unwind_Backtrace etc.) This corresponds to GCC PR/61407; the patch
at SVN revision 215690 (compiler parts only) was applied, see
gcc-4.9.1-yosemite.diff.

During the stage2/stage3 comparison, the build reported

   Comparing stages 2 and 3
   warning: gcc/cc1-checksum.o differs
   warning: gcc/cc1obj-checksum.o differs
   warning: gcc/cc1objplus-checksum.o differs
   warning: gcc/cc1plus-checksum.o differs
   Comparison successful.

XMLAda-SVN requires gprbuild, and gprbuild requires XMLAda. The
workround was first to build and install the GPL 2014 version, then
build gprbuild, then build and install XMLAda-SVN. One change was
required, in xmlada-svn-233185.diff.

Changes made to GPRbuild GPL 2014 are in gprbuild-gpl-2014-src.diff. They:
* remove the '-c' flag that is wrongly passed to ranlib (and isn't by
  gnatmake).
* correct a problem when building static stand-alone libraries (GCC
  bug 56616).
* remove some restrictions not provided in FSF GCC yet: No_Fixed_IO,
  No_Long_Long_Integers, No_Multiple_Elaboration.
* import the new library package GNAT.Rewrite_Data (used by
  gprslave). This had to be compiled by hand:
    $ gnatmake -a -P gprbuild -XBUILD=production g-rewdat.adb
* retain the bug in gprinstall which installs executables with
  'execute' access for the owner only rather than for all users (this
  is a problem if the installation is done by root). The change relies
  on a change in the RTS (adaint.c).
* gprslave can't call Set_File_Last_Modify_Time_Stamp (adaint.c
  again).

GNATColl GPL 2014 was configured as below, which is minimal apart from
GNU Readline being enabled and PostGres being disabled. Users may wish
to reconfigure for their own requirements.

  ./configure \
    --prefix=/opt/gcc-4.9.1 \
    --build=x86_64-apple-darwin13 \
    --enable-gpl \
    --without-postgresql

resulting in

  Shared libraries:       yes (default: static)
  Gtk+:                   no (requires pkg-config and gtkada.gpr)
  Python:                 yes /System/Library/Frameworks/Python.framework/Versions/2.7 (see --with-python)
  PyGtk:                  no  (see --enable-pygtk)
  PyGObject:              no (see --enable-pygobject)
  Syslog:                 yes (see --enable-syslog)
  Readline (GPL license): yes (see --with-readline --enable-gpl)
  gmp:                    no (see --with-gmp)
  PostgreSQL:             no -L/usr/lib (see --with-postgresql)
  Sqlite:                 embedded  (see --with-sqlite)
  Iconv:                  yes (see --with-iconv)
  Projects:               yes

Changes to ASIS GPL 2014 are in asis-gpl-2014-src.diff. Only
changes necessary for the build are included.

GDB GPL 2014 built without changes (to the source: the files
binutils/nm.c and binutils/objcopy.c had to be compiled by hand
without the -Werror flag), but there are problems with 'catch
exception'; one workround is to invoke GDB with the '-readnow'
switch. See https://sourceware.org/bugzilla/show_bug.cgi?id=11385 A
word of warning: when building GDB, do NOT 'make install' from the
top-level directory; it will install all sorts of tools you didn't
want (ar, nm, ranlib ...) and which won't work properly. Instead,
'make install' from the gdb/ directory (or just copy gdb/gdb to the
compiler bin/ directory!)

AWS was configured to use secure sockets via openssl and ASIS (for
ada2wsdl). The resulting makefile.setup was

  prefix=/opt/gcc-4.9.1/bin/..
  DEFAULT_LIBRARY_TYPE=static
  ENABLE_SHARED=true
  ZLIB=true
  XMLADA=true
  ASIS=true
  IPv6=false
  SOCKET=openssl
  LDAP=false
  DEBUG=false
  PROCESSORS=0
  TARGET=x86_64-apple-darwin13

Note that, although the GPL'd ASIS is imported, only ada2wsdl uses it,
and in any case the tools are full GPL. The AWS libraries have the GCC
Runtime Library Exception.


In addition to the above, a new library gnat_util is required by ASIS
and GNATColl. A Sourceforge project to provide this has been set up at
https://sourceforge.net/projects/gnatutil/; release 4.9.1 is included
here. This is the equivalent of the Debian libgnatvsn.

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

I got the following error trying to build:

dyld: lazy symbol binding failed: Symbol not found: ___emutls_get_address
  Referenced from: /usr/local/gnat-fsf/bin/../libexec/gcc/x86_64-apple-darwin13/4.9.1/gnat1
  Expected in: /usr/lib/libSystem.B.dylib

dyld: Symbol not found: ___emutls_get_address
  Referenced from: /usr/local/gnat-fsf/bin/../libexec/gcc/x86_64-apple-darwin13/4.9.1/gnat1
  Expected in: /usr/lib/libSystem.B.dylib

gcc: internal compiler error: Trace/BPT trap: 5 (program gnat1)
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

If you want to try locally:

git clone git://git.code.sf.net/p/gnoga/code gnoga-code
cd gnoga-code
make

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

> I got the following error trying to build:
>
> dyld: lazy symbol binding failed: Symbol not found: ___emutls_get_address
>   Referenced from:
> /usr/local/gnat-fsf/bin/../libexec/gcc/x86_64-apple-darwin13/4.9.1/gnat1
>   Expected in: /usr/lib/libSystem.B.dylib

I saw something like this before, which happened after I tried to
install a new (changed) build of the compiler over an old build.

Which I why I started from scratch for this release (and why it took a
day longer than it otherwise might have done!)

But, I wonder whether you saw this in the release note ..

   Install by
   =======

   $ cd /
   $ sudo tar jxvf ~/Downloads/gcc-4.9.1-x86_64-apple-darwin13.tar.bz2

   and put /opt/gcc-4.9.1/bin first on your PATH.

I know that GCC doesn't care whether it's on your path: that is,
/opt/gcc-4.9.1/bin/gnatmake will do The Right Thing (not so sure about
gprbuild, mind, haven't tried). But I do think the compiler expects to
find its components in the place it was built for.

I rebuilt gnoga with this compiler on Mavericks and Yosemite, no errors.

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

Moving it from /usr/local/gnat-fsf to /opt/gcc-4.9.1 seemed to have worked.

That dir worked ok (and still does work ok) with the last version.

Thanks
David Botton

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

I did find myself having sudden crashes on one app I wrote. I traced it down to a recursive function that I assume used too much stack space for this new compiler. It worked in the previous version and GPL-2014.

I rewrote the function to not use recursion, which in this case is a good idea regardless, but just an FYI.

David Botton

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

> I did find myself having sudden crashes on one app I wrote. I traced
> it down to a recursive function that I assume used too much stack
> space for this new compiler. It worked in the previous version and
> GPL-2014.

-fstack-check ?

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

> Moving it from /usr/local/gnat-fsf to /opt/gcc-4.9.1 seemed to have
> worked.
>
> That dir worked ok (and still does work ok) with the last version.

gcc-4.9.0?

I don't think there's much difference between these from the Ada point
of view, though the rest of the compiler has changed (not to mention
using the system -lstdc++ rather than the g++ library built as part of
the compiler to build the gnat* tools).

The Darwin system libraries appear to be TRWTF, what with linker
switches able to control which symbols appear in which libraries!
[PR/39888 comment 9, https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39888#c9]

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

> gcc-4.9.0?

gcc-4.9.0-x86_64-apple-darwin13-2014-1.tar.bz2

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[dptrash]

On Tuesday, October 21, 2014 4:45:54 PM UTC+2, Simon Wright wrote: 
> The compiler is GPL verson 3. The runtime has the GCC Runtime
> Exception, so executables built with it can be released on proprietary
> terms PROVIDED THAT they make no use of the the packages from GNAT GPL
> 2014, which are full GPL.

1) How can I find out if I am using something from GNAT GPL? Are these the GNAT*. packages?

2) Is the Ada95 compiler in GCC 4.9 also improved?

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

dptrash@arcor.de writes:

> On Tuesday, October 21, 2014 4:45:54 PM UTC+2, Simon Wright wrote: 
>> The compiler is GPL verson 3. The runtime has the GCC Runtime
>> Exception, so executables built with it can be released on proprietary
>> terms PROVIDED THAT they make no use of the the packages from GNAT GPL
>> 2014, which are full GPL.
>
> 1) How can I find out if I am using something from GNAT GPL? Are these
> the GNAT*. packages?

I said:

========================================================================
Tools included:

Full GPL:
  ASIS, AUnit, GDB, GNATColl, and GPRbuild from GNAT GPL 2014.

GPL with Runtime Library Exception[1]:
  XMLAda from the public SVN repository[2] at revision 233185
    (XMLAda-SVN for short).
  AWS from the public git repository[3] at commit
    e0d260e2d5dbbd93577949307935848de2390818 (AWS-git for short).
========================================================================

Of these the only libraries you're likely to use in your own code are

GPL: ASIS, GNATColl

GPL with RTLE: XMLAda, AWS 

> 2) Is the Ada95 compiler in GCC 4.9 also improved?

It's an Ada 2012 compiler, which can be made to work in Ada 2005 mode by
-gnat2005 or -gnat05, in Ada 95 mode by -gnat95, and (to some extent) in
Ada 83 mode by -gnat83.

The (possibly incomplete) list of PRs fixed[1] in 4.9.1 vs 4.9.0 doesn't
show any Ada-related bugs, so I guess nothing major (mind you, the Ada
maintainers don't curate the Ada-related bugs very well). One would have
to check the svn repo to be sure what Ada-related changes, if any, there
actually were.

[1] https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=4.9.1

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[vincent.diemunsch]

On Sunday, October 26, 2014 12:12:44 PM UTC+1, Simon Wright wrote:
> dptrash@arcor.de writes:
> 
> > On Tuesday, October 21, 2014 4:45:54 PM UTC+2, Simon Wright wrote: 
> >> The compiler is GPL verson 3. The runtime has the GCC Runtime
> >> Exception, so executables built with it can be released on proprietary
> >> terms PROVIDED THAT they make no use of the the packages from GNAT GPL
> >> 2014, which are full GPL.
> >
> > 1) How can I find out if I am using something from GNAT GPL? Are these
> > the GNAT*. packages?
> 
> I said:
> 
> ========================================================================
> Tools included:
> 
> Full GPL:
>   ASIS, AUnit, GDB, GNATColl, and GPRbuild from GNAT GPL 2014.
> 
> GPL with Runtime Library Exception[1]:
>   XMLAda from the public SVN repository[2] at revision 233185
>     (XMLAda-SVN for short).
>   AWS from the public git repository[3] at commit
>     e0d260e2d5dbbd93577949307935848de2390818 (AWS-git for short).
> ========================================================================
> 
> Of these the only libraries you're likely to use in your own code are
> 
> GPL: ASIS, GNATColl
> 
> GPL with RTLE: XMLAda, AWS 
> 
> > 2) Is the Ada95 compiler in GCC 4.9 also improved?
> 
> It's an Ada 2012 compiler, which can be made to work in Ada 2005 mode by
> -gnat2005 or -gnat05, in Ada 95 mode by -gnat95, and (to some extent) in
> Ada 83 mode by -gnat83.
> 
> The (possibly incomplete) list of PRs fixed[1] in 4.9.1 vs 4.9.0 doesn't
> show any Ada-related bugs, so I guess nothing major (mind you, the Ada
> maintainers don't curate the Ada-related bugs very well). One would have
> to check the svn repo to be sure what Ada-related changes, if any, there
> actually were.
> 
> [1] https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=4.9.1

I just installed it.. on Yosemite and ... yes it works.
Thank you !

Vincent

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

Seems that in this new version gprinstall does not set the permissions properly when installing executables:

-rwxr--r--  1 root  wheel  1399120 Oct 28 09:23 /opt/gcc-4.9.1/bin/gnoga_make

David Botton

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

> Seems that in this new version gprinstall does not set the permissions
> properly when installing executables:
>
> -rwxr--r--  1 root  wheel  1399120 Oct 28 09:23 /opt/gcc-4.9.1/bin/gnoga_make

Yes, sorry about that. From the release note:

> Changes made to GPRbuild GPL 2014 are in gprbuild-gpl-2014-src.diff. They:
[...]
> * retain the bug in gprinstall which installs executables with
>   'execute' access for the owner only rather than for all users (this
>   is a problem if the installation is done by root). The change relies
>   on a change in the RTS (adaint.c).

This was a pretty major change, so I didn't feel I could copy it over
from GNAT GPL 2014.

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

> This was a pretty major change, so I didn't feel I could copy it over
> from GNAT GPL 2014.

Did you notice if adaint.c was in fact GPL?

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

>> This was a pretty major change, so I didn't feel I could copy it over
>> from GNAT GPL 2014.
>
> Did you notice if adaint.c was in fact GPL?

The "As a special exception under Section 7 of GPL version 3" has been
stripped out (although the "You should have received a copy of ..." has
been retained). So that thought won't fly :-(

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[David Botton]

> The "As a special exception under Section 7 of GPL version 3" has been
> stripped out (although the "You should have received a copy of ..." has
> been retained). So that thought won't fly :-(

Perhaps someone would like to donate a copy of adaint.c to you that has the exception still in :) If not when I have time I'll try to find the bug on my own and send a patch to use what is.

As I get Gnoga ready for 1.0 I'd really like to be able to direct people to nice packaged versions of GNAT-FSF.

Thanks
David Botton

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

David Botton <david@botton.com> writes:

> Perhaps someone would like to donate a copy of adaint.c to you that
> has the exception still in :) If not when I have time I'll try to find
> the bug on my own and send a patch to use what is.

Not so much a bug as a (somewhat) redesigned interface.

From adaint.h,

New:
extern void __gnat_to_os_time (OS_Time *, int, int, int, int, int, int);
extern void __gnat_set_mode (int,int);        // not in adaint.c!!!

Changed:
extern void __gnat_set_executable (char *name, int);

There are more changes in adaint.c.

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Laurent]

Hi

Is there a chance that Adacore will fix this problem in their version?

I have tried yours on a backup partition under Yosemite and it works if I use the terminal. GPS seems to be a little pickier or me not understanding how to provide the path to it.

So if I define the path in  Project->Edit Project Properties->Language->Add then /opt/gcc-4.9.1/bin

GPS adds for driver and list the path then -gnat,-gnatls... So I get  
/opt/gcc-4.9.1/bin-gnat; /opt/gcc-4.9.1/bin-gnatls; ....

Which of course doesn't work. Changing the - to / helps except the driver because it can't be edited and GPS forgets every time the compiler even if I add it :(

RTFM and Google didn't help.  

So for the moment I won't upgrade to Yosemite. No idea if I should at all.

Thanks

Laurent 

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Laurent]

Forget my last post, found the problem.

First edit under Build->Settings->Toolchain

then Scan for toolchain in the project settings and everything is ok.

Is that writhe in the help? Didn't see anything like that.

Thanks

Laurent

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[vincent.diemunsch]

On Sunday, October 26, 2014 10:33:19 PM UTC+1, vincent....@gmail.com wrote:
> On Sunday, October 26, 2014 12:12:44 PM UTC+1, Simon Wright wrote:
> > dptrash@arcor.de writes:
> > 
> > > On Tuesday, October 21, 2014 4:45:54 PM UTC+2, Simon Wright wrote: 
> > >> The compiler is GPL verson 3. The runtime has the GCC Runtime
> > >> Exception, so executables built with it can be released on proprietary
> > >> terms PROVIDED THAT they make no use of the the packages from GNAT GPL
> > >> 2014, which are full GPL.
> > >
> > > 1) How can I find out if I am using something from GNAT GPL? Are these
> > > the GNAT*. packages?
> > 
> > I said:
> > 
> > ========================================================================
> > Tools included:
> > 
> > Full GPL:
> >   ASIS, AUnit, GDB, GNATColl, and GPRbuild from GNAT GPL 2014.
> > 
> > GPL with Runtime Library Exception[1]:
> >   XMLAda from the public SVN repository[2] at revision 233185
> >     (XMLAda-SVN for short).
> >   AWS from the public git repository[3] at commit
> >     e0d260e2d5dbbd93577949307935848de2390818 (AWS-git for short).
> > ========================================================================
> > 
> > Of these the only libraries you're likely to use in your own code are
> > 
> > GPL: ASIS, GNATColl
> > 
> > GPL with RTLE: XMLAda, AWS 
> > 
> > > 2) Is the Ada95 compiler in GCC 4.9 also improved?
> > 
> > It's an Ada 2012 compiler, which can be made to work in Ada 2005 mode by
> > -gnat2005 or -gnat05, in Ada 95 mode by -gnat95, and (to some extent) in
> > Ada 83 mode by -gnat83.
> > 
> > The (possibly incomplete) list of PRs fixed[1] in 4.9.1 vs 4.9.0 doesn't
> > show any Ada-related bugs, so I guess nothing major (mind you, the Ada
> > maintainers don't curate the Ada-related bugs very well). One would have
> > to check the svn repo to be sure what Ada-related changes, if any, there
> > actually were.
> > 
> > [1] https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=4.9.1
> 
> I just installed it.. on Yosemite and ... yes it works.
> Thank you !
> 
> Vincent

A newbie's question : 
The compiler works fine, but I can't use the given libraries like AWS.
What do I need to do, so that Gnoga for instance can see AWS ?

Vincent
 

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

vincent.diemunsch@gmail.com writes:

> A newbie's question : 
> The compiler works fine, but I can't use the given libraries like AWS.
> What do I need to do, so that Gnoga for instance can see AWS ?

I don't know. I just tried it on Mavericks, and it worked fine.

I did wonder whether it had anything to do with the installed aws.gpr
being in $prefix/share/gpr rather than $prefix/lib/gnat like every other
installed GPR I've seen (OK, it's gprinstall's default, but ???)

Were you using GPS, ot the command line?

What does 'gnatls -v' say?

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[vincent.diemunsch]

On Wednesday, November 19, 2014 6:13:52 PM UTC+1, Simon Wright wrote:
> vincent.diemunsch@gmail.com writes:
> 
> > A newbie's question : 
> > The compiler works fine, but I can't use the given libraries like AWS.
> > What do I need to do, so that Gnoga for instance can see AWS ?
> 
> I don't know. I just tried it on Mavericks, and it worked fine.
> 
> I did wonder whether it had anything to do with the installed aws.gpr
> being in $prefix/share/gpr rather than $prefix/lib/gnat like every other
> installed GPR I've seen (OK, it's gprinstall's default, but ???)
> 
> Were you using GPS, ot the command line?
> 
> What does 'gnatls -v' say?

Thank you Simon,
In fact I added the following to my .profile file :
export ADA_PROJECT_PATH=/opt/gcc-4.9.1/share/gpr
and now it works fine !

Regards,

Vincent

Re: ANN: GCC 4.9.1 for Mac OS X Mavericks and Yosemite

[Simon Wright]

vincent.diemunsch@gmail.com writes:

>> What does 'gnatls -v' say?

Here, without ADA_PROJECT_PATH or GPR_PROJECT_PATH being set, the last
section is

   Project Search Path:
      <Current_Directory>
      /opt/gcc-4.9.1/x86_64-apple-darwin13/lib/gnat
      /opt/gcc-4.9.1/x86_64-apple-darwin13/share/gpr
      /opt/gcc-4.9.1/share/gpr
      /opt/gcc-4.9.1/lib/gnat

> In fact I added the following to my .profile file :
> export ADA_PROJECT_PATH=/opt/gcc-4.9.1/share/gpr
> and now it works fine !

and I wouldn't have thought that necessary! Still, if it works, good.