GCC 4.8.1 for Mac OS X

[Simon Wright <simon@pushface.org>]

You can find this at
https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/4.8.1/

The README says:

This is GCC 4.8.1 built for Mac OS X Mountain Lion (10.8.4, Darwin 12.4.0).

gcc-4.8.1-x86_64-apple-darwin12.tar.bz2
=======================================

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

Tools included: ASIS, AUnit, GPRbuild, GNATColl, XMLAda from GNAT GPL
2013.

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

MD5 (gcc-4.8.1-x86_64-apple-darwin12.tar.bz2) = 549d32da94a7af15e99bb98a7d288be9


Install by
=======

$ cd /
$ sudo tar jxvf ~/Downloads/gcc-4.8.1-x86_64-apple-darwin12.tar.bz2

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


Notes
=====

The compiler is GPL verson 3 with the 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 2013,
which are full GPL.

Changes made to GPRbuild GPL 2013 are in gprbuild-2013-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.

Changes made to GNATColl GPL 2013 are in gnatcoll-gpl-2013-src.diff. Only
changes necessary for the build are included.

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

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

The GNATColl build was configured as below, which is minimal apart
from GNU Readline being enabled. Users may wish to reconfigure for
their own requirements.

  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