comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.invalid>
Subject: Re: Problem with GPS and Generating Body from Spec
Date: Mon, 08 Jun 2015 09:56:50 +0200
Date: 2015-06-08T09:56:50+02:00	[thread overview]
Message-ID: <ml3hpm$90g$1@dont-email.me> (raw)
In-Reply-To: <db7ec0d9-d1c4-4d86-a7a0-79ef9fea5589@googlegroups.com>

On 07.06.15 22:29, Laurent wrote:
> I have the problem on my MacBook Air and MacPro both under Yosemite and gnat 2014.
> I have tried on my MiniMac with Lion but gnat 2014 doesn't seem to be compatible, segmentation fault 11. If I have time I will try with gnat 2013.

(As Lodovic says.) The README.txt of GNAT 2014 GPL has this:


"Special Notes:

   - MacOS X Yosemite users need to:

     - either add the following environment variable in their environment:

       $ export MACOSX_DEPLOYMENT_TARGET=10.9

     - or add -mmacosx-version-min=10.9 to their compiler switches"


Support for OS X 10.10 has been announced, sort of, on the GPS mailing
list, for GNAT GPL 2015. That's according to
http://permalink.gmane.org/gmane.comp.ide.gps.user/636


  parent reply	other threads:[~2015-06-08  7:56 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-05 20:13 Problem with GPS and Generating Body from Spec Laurent
2015-06-06  1:55 ` Anh Vo
2015-06-07 20:29   ` Laurent
2015-06-07 22:29     ` Ludovic Brenta
2015-06-08  9:27       ` Laurent
2015-06-08 12:53         ` Laurent
2015-06-08 14:37           ` David Botton
2015-06-08 19:37             ` Laurent
2015-06-09 10:16               ` Simon Wright
2015-06-09 19:18                 ` Laurent
2015-06-09 21:38                   ` David Botton
2015-06-10 10:52                     ` Laurent
2015-06-10 17:13                       ` Simon Wright
2015-06-08 19:51       ` Randy Brukardt
2015-06-08  7:56     ` Georg Bauhaus [this message]
2015-06-08 22:43 ` wowwomenonwheels205
replies disabled

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