Remove expired ports:
2014-06-01 lang/ocaml-doc: Documentation is now included in lang/ocaml
2014-06-01 lang/ocaml-examples: Outdated and discontinued; new examples are in
lang/ocaml
2014-06-01 lang/gnat-aux: Superceded by gcc4.9-based lang/gcc-aux, use it
instead

lang/gnat-aux: Update deprecation message to reflect current affairs

The latest gcc-aux compiler is now based on gcc 4.9.  The 4.7-based
compiler is still available at lang/gcc47-aux though.  Note that
this port will be deleted in less than one month from now.

Convert all :U to :tu and :L to :tl

Since FreeBSD 8.4 and FreeBSD 9.1 make(1) do support :tu and :tl as a
replacement for :U and :L (which has been marked as deprecated)

bmake which is the default on FreeBSD 10+ only support by default
:tu/:tl a hack has been added at the time to support :U and :L to ease
migration. This hack is now not necessary anymore

Note that this makes the ports tree incompatible with make(1) from
FreeBSD 8.3 or earlier

With hat:	portmgr

lang/gnat-aux: Add GPLv3RLE license requirement

PR:		ports/185970
submitted by:	gerald@

lang/gnat-aux: Set to expire on 1 June 2014

After thinking about this, there's no reason to continue to
use this over lang/gcc-aux.  It is based on a gcc branch that
has already reached EOL.

lang/gnat-aux: Mark deprecated in favor of lang/gcc-aux

Now that the gnatdroid-arm ports have been rebased on lang/gcc-aux, there
is no port that requires lang/gnat-aux.  Since it can't build most of the
Ada framework, there's no anticipated reason to use it over the newer,
gcc4.7-based gcc-aux.  Leave it around just in case, but let folks fooled
by "gnat" in name that it's not the latest Ada compiler.

lang/gnat-aux: Remove FreeBSD 9.0-only installation notice

FreeBSD 9.0 is no longer supported.

lang/gnat-aux: convert to staging

Also set license to GPLv3, but don't install it as it interferes with
the automatically generated package list.

Update to libmpc version 1.0.1 which brings the following fixes:

 - Switched to automake 1.11.6, see CVE-2012-3386.
 - #14669: Fixed extraction of CC from gmp.h.
 - Fixed case of intermediate zero real or imaginary part in mpc_fma,
   found by hydra with GMP_CHECK_RANDOMIZE=1346362345.

This is on top of the following changes from version 1.0

 - Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no
   invariant sections) for the documentation.
 - 100% of all lines are covered by tests
 - Renamed functions
   . mpc_mul_2exp to mpc_mul_2ui
   . mpc_div_2exp to mpc_div_2ui

lang/gnat-aux: Support iconv update in DragonFly master branch

This update affects dragonfly only, and supports the updated ctypes
in the DragonFly master branch.

Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)

- Remove last vestiges of MAKE_JOBS_SAFE knob

Approved by:	portmgr (bapt)

Convert to new perl framework

Introduce ICONV_CONFIGURE_ARG variable defined at Uses/iconv.mk.
It's value is "--with-libiconv-prefix=/usr/local" for systems
before 100043 with ports libiconv and to use at systems post
100043 with base iconv it's value is "" (NULL).

Co-authors:	bapt, madpilot and bsam (me)

Replace John Marino email address with FreeBSD version

While I'm here, also trim the headers on a couple of ports and remove
a reference to the Dragonlace mirror which is down indefinitely.

Approved by:	bapt (mentor)

Fix conversion typos

Fix typo

Base gnat on new 4.6.4 version of gcc
Sync gnat-aux with changes from gcc-aux
Convert to new options framework
Switch to dynamic plist
No more install libiberty.a for gnatdroid*

PR:		ports/173412
Reported by:	Jinsong Zhao <jszhao@yeah.net>
Submitted by:	John Marino <draco@marino.st> (maintainer)

Convert the last USE_ICONV to USES=iconv

- Update patches to fix exception handling on amd64/FreeBSD 9+
- Bump portrevision

PR:		ports/170440
Submitted by:	John Marino <draco@marino.st> (maintainer)

- Update to 20120301 (corresponding to gcc 4.6.3)
- Split off Makefile.common fragment for use in lang/gnatdroid-arm* ports

Maintainer note:
- Ada tasking is broken on FreeBSD-9+ and has always been but a testsuite
run didn't reveal this until recently. Due to a new panic assertion added
to the thread library, exiting tasks now abort with the message "thread
exits with resources held!". A significant attempt was made to patch GNAT
to release thread resources on exiting tasks, but the code is highly
complex and the attemps are not yes successful.

PR:             ports/166718
Submitted by:   John Marino <draco@marino.st> (maintainer)
Feature safe:   yes

- Update to 20111026 (corresponding to gcc 4.6.2)
- Set default options to build all five languages (Ada, C, C++, ObjC, Fortran)

Maintainer notes:
- Previously GNAT-Aux was built from a custom tarball provided by
dragonlace.net.
Now real gcc source tarballs are used, and then patched.
- The standard patch mechanism is not used. Composite diff files generated and
provided by dragonlace.net are applied as needed.
- This sets the stage to sync GNAT-Aux with gcc 4.7.0 when its released.

PR:             ports/163914
Submitted by:   John Marino <draco@marino.st> (maintainer)

- Add patches to implement run-time symbolic traceback support
  (without it programs requiring this traceback fail to link)
- Bump PORTREVISION

PR:             ports/160616
Submitted by:   John Marino <draco@marino.st> (maintainer)

- Fix compilation on 9.0 [1]
- Mark MAKE_JOBS_SAFE

Reported by:    pav@ [1]
Fixed by:       John Marino <draco@marino.st> (maintainer, via email)

Spell ONLY_FOR_ARCHS correctly.

- Update to 20110627 (corresponding to gcc4.6.1 release)

PR:             ports/158938
Submitted by:   John Marino <draco@marino.st> (maintainer)

- Update to 20110325 [1]
- Pet portlint(1) by removing trailing spaces

PR:             ports/156541 [1]
Submitted by:   John Marino <freebsdml@marino.st> (maintainer)

- Fix fetch on amd64 platform

Reported by:    pointyhat

GNAT AUX is based on the trunk version of Free Software Foundation's GNU
Compiler Collection.  It carries with it the GMGPL license, the modified
version of the GPL that exempts generic instantiation from resulting in
a GPL-licensed executable.  This version of GNAT also carries with it the
GCC Runtime Library Exception, so the resulting binaries have no licensing
requirements.  Binaries produced by GNAT AUX should be handled the same as
binaries produced by any FSF GNAT compiler.

GNAT AUX implements the full Ada-83, Ada-95, and Ada-2005 language standards.
It also implements some features of the draft Ada-2012 standard, which are
optionally accessible via the -gnat2012 switch or Ada_2012 pragma.

WWW: http://www.dragonlace.net/

PR:             ports/153828
Submitted by:   John Marino <freebsdml@marino.st>