FSF GNAT on Mac OS X Snow Leopard, does it exist?

FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Niklas Holsti]

Is there an FSF-derived version of GNAT that runs on the "Snow Leopard" 
version of Mac OS X?

My searches and tests have so far only found GNAT versions that do not 
work on Snow Leopard, including GNAT GPL 2009, which crashes with 
segmentation fault.

On the other hand, the binaries of my Ada application that were compiled 
under the previous version of Mac OS X, "Leopard", seem to work on Snow 
Leopard, too. So I'm considering buing a (used?) Mac running Leopard, 
just to have a working compilation system. I would be grateful for any 
advice or suggestions from Mac/Ada users.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Simon Wright]

Niklas Holsti <niklas.holsti@tidorum.invalid> writes (not in this order):

> My searches and tests have so far only found GNAT versions that do not
> work on Snow Leopard, including GNAT GPL 2009, which crashes with
> segmentation fault.

If you go to http://sourceforge.net/projects/gnuada/files/ and navigate
to GNAT_GPL Mac OS X > 2009-snow-leopard you'll find 64- and 32-bit
compilers. Note, both want to install at /:

 sudo tar jxvf gnat-gpl-2009-x86_64-apple-darwin10.2.0.tar.bz2  -C /

> Is there an FSF-derived version of GNAT that runs on the "Snow
> Leopard" version of Mac OS X?

At the moment I'm running gcc version 4.5.0 20100221 (experimental)
[trunk revision 156937] built for x86_64-apple-darwin10.2.0 & also have
i686-apple-darwin10.2.0. But I've not uploaded either of these anywhere
as yet ..

At the same place, under GNAT_GCC Mac OS X > 4.4.2, you'll find a
collection of .dmg's posted by Martin Krischik. I've not used these.


HTH

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Jerry]

On Mar 15, 3:09 pm, Simon Wright <si...@pushface.org> wrote:
> If you go to http://sourceforge.net/projects/gnuada/files/and navigate
> to GNAT_GPL Mac OS X > 2009-snow-leopard you'll find 64- and 32-bit
> compilers.

Sorry if these questions have been asked before.

(1) Do either of these compilers work with Xcode?
    (a) If so, which one(s) and what version of Xcode?
(2) Do either of these compilers work with the debugger gdb?
    (a) If so, is it included with the download?
(3) Do either of these compilers work with the gdb GUI in Xcode?
(4) Is the 32-bit version more functional with respect to exceptions?
(5) After installing in their default locations, can they be moved?

> At the same place, under GNAT_GCC Mac OS X > 4.4.2, you'll find a
> collection of .dmg's posted by Martin Krischik. I've not used these.
>
> HTH
Yes, that helps, but the picture is still confused. Are things labeled
x86 64-bit and i386 32-bit? What are the .dmgs under GNAT_GCC Mac OS
X.>gnat-gcc-4.4.2.dmg? How are they different from those under
GNAT_GPL Mac OS X>2009-snow-leopard? Is there anything at macada.org
that is useful for Snow Leopard?

Sorry for all the questions but I've been confused about the Snow
Leopar/Xcode/debugger question for a while. I'm willing to install
something on an old disk to try things out but I've read of at least
one person who installed Snow Leopard and is sorry because he now has
no Ada compiler--maybe that is old information however.

Thanks,
Jerry

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Niklas Holsti]

Simon Wright wrote:
> Niklas Holsti <niklas.holsti@tidorum.invalid> writes (not in this order):
> 
>> My searches and tests have so far only found GNAT versions that do not
>> work on Snow Leopard, including GNAT GPL 2009, which crashes with
>> segmentation fault.
> 
> If you go to http://sourceforge.net/projects/gnuada/files/ and navigate
> to GNAT_GPL Mac OS X > 2009-snow-leopard you'll find 64- and 32-bit
> compilers. Note, both want to install at /:

Thanks, I will try that one, when next I get my hands on the Mac (that I 
borrow for this purpose). I tried the GNAT GPL from AdaCore Libre, which 
segfaulted. But I would really need an FSF-licenced compiler, because 
some of my source code is under NDA from other parties and can't be opened.

>> Is there an FSF-derived version of GNAT that runs on the "Snow
>> Leopard" version of Mac OS X?
> 
> At the moment I'm running gcc version 4.5.0 20100221 (experimental)
> [trunk revision 156937] built for x86_64-apple-darwin10.2.0 & also have
> i686-apple-darwin10.2.0. But I've not uploaded either of these anywhere
> as yet ..
 >
> At the same place, under GNAT_GCC Mac OS X > 4.4.2, you'll find a
> collection of .dmg's posted by Martin Krischik. I've not used these.

I already tried that one (gnat-gcc-4.4.2.dmg), but it did not work; 
trying to compile something with gnatmake gave an error message saying 
an Ada compiler is not installed. From my googling it seems that others 
have encountered the same error. My guess is that gnatmake is using the 
wrong gcc. Perhaps this could be a simple problem to solve, or just an 
installation problem (I accepted the default location /opt/local), but 
how to do it is not evident to me.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Martin]

On Mar 15, 10:09 pm, Simon Wright <si...@pushface.org> wrote:
> Niklas Holsti <niklas.hol...@tidorum.invalid> writes (not in this order):
>
> > My searches and tests have so far only found GNAT versions that do not
> > work on Snow Leopard, including GNAT GPL 2009, which crashes with
> > segmentation fault.
>
> If you go tohttp://sourceforge.net/projects/gnuada/files/and navigate
> to GNAT_GPL Mac OS X > 2009-snow-leopard you'll find 64- and 32-bit
> compilers. Note, both want to install at /:
>
>  sudo tar jxvf gnat-gpl-2009-x86_64-apple-darwin10.2.0.tar.bz2  -C /
>
> > Is there an FSF-derived version of GNAT that runs on the "Snow
> > Leopard" version of Mac OS X?
>
> At the moment I'm running gcc version 4.5.0 20100221 (experimental)
> [trunk revision 156937] built for x86_64-apple-darwin10.2.0 & also have
> i686-apple-darwin10.2.0. But I've not uploaded either of these anywhere
> as yet ..
>
> At the same place, under GNAT_GCC Mac OS X > 4.4.2, you'll find a
> collection of .dmg's posted by Martin Krischik. I've not used these.
>
> HTH

Thanks Simon - for the first time since Snow Leopard, I have a working
Ada compiler!! :-)

I'm using the "Lightweight IDE" - sorry Emacs was just as much a 'way-
of-life' tool as I remember...and I didn't enjoy the experience the
first time round.

Hopefully, AdaCore will be releasing a GNAT GPL 2010 for Snow Leopard
in a few months and I can get back to GPS.

Cheers
-- Martin

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Georg Bauhaus]

Martin schrieb:

>>> Is there an FSF-derived version of GNAT that runs on the "Snow
>>> Leopard" version of Mac OS X?
>> At the moment I'm running gcc version 4.5.0 20100221 (experimental)
>> [trunk revision 156937] built for x86_64-apple-darwin10.2.0 & also have
>> i686-apple-darwin10.2.0. But I've not uploaded either of these anywhere
>> as yet ..
>>
>> At the same place, under GNAT_GCC Mac OS X > 4.4.2, you'll find a
>> collection of .dmg's posted by Martin Krischik. I've not used these.
>>
>> HTH
> 
> Thanks Simon - for the first time since Snow Leopard, I have a working
> Ada compiler!! :-)
> 
> I'm using the "Lightweight IDE" - sorry Emacs was just as much a 'way-
> of-life' tool as I remember...and I didn't enjoy the experience the
> first time round.
> 
> Hopefully, AdaCore will be releasing a GNAT GPL 2010 for Snow Leopard
> in a few months and I can get back to GPS.

There are some more setups on Mac OS X that sort of work, maybe even
on SL. They are strange, but still worth mentioning, I think.

One is using Wine/CrossOver to run the Windows GNAT GPL programs.
Even GPS works reasonably well. (AdaGIDE seems to use some Win32
calls that are not that well supported by the wine libraries.)

The other approach uses a virtual machine like VMWare Fusion together
with Mac OS X's X11 server.  For example, run a small, text only,
GNU/Linux machine.  All graphical needs are being served on the Mac
side.

Incidentally, the Wine approach "ports" nice helper programs
like Pragsoft's UMLStudio to Mac OS X.

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Dirk Heinrichs]

Niklas Holsti wrote:

> But I would really need an FSF-licenced compiler, because
> some of my source code is under NDA from other parties and can't be
> opened.

You could use GNAT-GPL to bootstrap GNAT-FSF. At least on Linux this works 
fine. But be prepared for some hours of work since newer versions of GCC 
have some dependencies. If you need more info just drop me a mail.

Bye...

	Dirk

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Simon Wright]

Niklas Holsti <niklas.holsti@tidorum.invalid> writes:

>  But I would really need an FSF-licenced compiler,
> because some of my source code is under NDA from other parties and
> can't be opened.

OK, have a look at http://public.me.com/simon.j.wright for the 4.5.0
x86_64 compiler. As far as I can remember, the C & Ada testsuites passed
with flying colors.

I see that that archive includes some Fortran relics of a previous
installation, sorry about that.

Andrew Reynolds, over at macada --
http://hermes.gwu.edu/archives/gnat-osx.html for the mailing list -- has
also built a 4.5.0 compiler, not sure whether that was for Snow Leopard
or just Leopard.

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Simon Wright]

Jerry <lanceboyle@qwest.net> writes:

> On Mar 15, 3:09�pm, Simon Wright <si...@pushface.org> wrote:
>> If you go to http://sourceforge.net/projects/gnuada/files/and navigate
>> to GNAT_GPL Mac OS X > 2009-snow-leopard you'll find 64- and 32-bit
>> compilers.
>
> Sorry if these questions have been asked before.
>
> (1) Do either of these compilers work with Xcode?
>     (a) If so, which one(s) and what version of Xcode?

I don't know, but wouldn't it have to be Xcode 3.2 for SL?

> (2) Do either of these compilers work with the debugger gdb?
>     (a) If so, is it included with the download?

Certainly the x86_64 compiler works with Apple's gdb (presumably from
Xcode 3.2?):

   $ gdb ./zero_length_string
   GNU gdb 6.3.50-20050815 (Apple version gdb-1346) (Fri Sep 18 20:40:51 UTC 2009)
   Copyright 2004 Free Software Foundation, Inc.
   GDB is free software, covered by the GNU General Public License, and you are
   welcome to change it and/or distribute copies of it under certain conditions.
   Type "show copying" to see the conditions.
   There is absolutely no warranty for GDB.  Type "show warranty" for details.
   This GDB was configured as "x86_64-apple-darwin"...Reading symbols for shared libraries ... done

   (gdb) b zero_length_string.adb:5
   Breakpoint 1 at 0x100001e7b: file zero_length_string.adb, line 5.
   (gdb) run
   Starting program: /Users/simon/tmp/zero_length_string 
   Reading symbols for shared libraries ++. done

   Breakpoint 1, _ada_zero_length_string () at zero_length_string.adb:5
   5	   Put_Line ("S is """
   (gdb) p s
   $1 = ""
   Current language:  auto; currently ada
   (gdb) p s'length
   $2 = 0
   (gdb) l
   1	with Ada.Text_IO; use Ada.Text_IO;
   2	procedure Zero_Length_String is
   3	   S : String (-5 .. -7) := "";
   4	begin
   5	   Put_Line ("S is """
   6	               & S
   7	               & """, 'First is "
   8	               & Integer'Image (S'First)
   9	               & ", 'Last is "
   10	               & Integer'Image (S'Last));
   (gdb) p s'first
   $3 = -5
   (gdb) p s'last
   $4 = -6

so it clearly knows a *lot* about Ada!

Similar results with the gdb included in AdaCore's GNAT GPL 2009
distribution.

> (3) Do either of these compilers work with the gdb GUI in Xcode?

Don't know.

> (4) Is the 32-bit version more functional with respect to exceptions?

I don't think so. There certainly used to be a problem, discussed from
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41260#c34 onward, but it's
not present in the 64-bit compiler here.

> (5) After installing in their default locations, can they be moved?

No, because even in a static link some of the GCC libraries are linked
dynamically from the as-built installation location, and remember where
they were linked from (-rpath). Of course, there's probably some cunning
way round that ...

> Yes, that helps, but the picture is still confused. Are things labeled
> x86 64-bit and i386 32-bit?

Yes.

>                             What are the .dmgs under GNAT_GCC Mac OS
> X.>gnat-gcc-4.4.2.dmg? How are they different from those under
> GNAT_GPL Mac OS X>2009-snow-leopard?

Well, the GNAT_GCC versions are FSF compilers, with the full
GNAT-modified GPL on the runtime, whereas the GNAT_GPL versions are
rebuilds of AdaCore's compilers with the GNAT extensions to the licence
removed.

>                                      Is there anything at macada.org
> that is useful for Snow Leopard?

Not sure, sorry

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[(see below)]

On 16/03/2010 20:50, in article m2fx40ng7w.fsf@pushface.org, "Simon Wright"
<simon@pushface.org> wrote:

> Jerry <lanceboyle@qwest.net> writes:
>> (2) Do either of these compilers work with the debugger gdb?
>>     (a) If so, is it included with the download?
> 
> Certainly the x86_64 compiler works with Apple's gdb (presumably from
> Xcode 3.2?):

Do people know that GNAT plays quite nicely with Shark, the statistical
profiling tool that is part of the MacOS X 'CHUD' set of SDK utilities?

This lets you see your Ada source listed with CPU time percentages on each
line; optionally side-by-side with the corresponding machine code.

It is an invaluable optimization (or anti-pessimization) tool.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk

Re: FSF GNAT on Mac OS X Snow Leopard, does it exist?

[Niklas Holsti]

Simon Wright wrote:
> Niklas Holsti <niklas.holsti@tidorum.invalid> writes:
> 
>>  But I would really need an FSF-licenced compiler,
>> because some of my source code is under NDA from other parties and
>> can't be opened.
> 
> OK, have a look at http://public.me.com/simon.j.wright for the 4.5.0
> x86_64 compiler. As far as I can remember, the C & Ada testsuites passed
> with flying colors.

That's great, Simon, many thanks.

Not having the Mac immediately at hand, I tried to download this on my 
everyday system, Debian Linux Iceweasel (Mozilla), but after clicking on 
the Download button for the compiler bzip2, and clicking Save File in 
the resulting pop-up dialog, nothing happened -- no download. However, 
the Mac was able to download the file. Apparently public.me.com is a 
Mac-only site in some way.

The compiler seems to run ok -- thanks again.

> Andrew Reynolds, over at macada --
> http://hermes.gwu.edu/archives/gnat-osx.html for the mailing list -- has
> also built a 4.5.0 compiler, not sure whether that was for Snow Leopard
> or just Leopard.

Thanks, good to have several options.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .