complibs/ppl: fix 0.11-0.11.2 to compile with --disable-shared

PPL 0.11 (through 0.11.2) had a small bug where it still tried to build
and test its Java interface even when shared libraries are disabled.
Since that's exactly what ct-ng does, it explodes.

This is the patch from the PPL authors (see final link below).

More information can be found in these messages/threads:

Anthony's initial report and analysis with Yann:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00046.html

Ron Flory hit the same problem:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00054.html

Anthony's report to the ppl-devel list:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017450.html

Roberto's reply with a link to the fix in the PPL git repo:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017455.html

Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>

# MIPS specific config options

choice

    bool

    prompt "ABI"

config ARCH_mips_o32

    bool

    prompt "o32"

    depends on ARCH_32

    help

      This is the -mabi=32 gcc option.

config ARCH_mips_n32

    bool

    prompt "n32"

    depends on ARCH_64

    help

      This is the -mabi=n32 gcc option.

config ARCH_mips_n64

    bool

    prompt "n64"

    depends on ARCH_64

    help

      This is the -mabi=64 gcc option.

# Not supported on Linux:

# o64   : seems related to *BSD

# eabi  : seems related to bare-metal

endchoice

config ARCH_mips_ABI

    string

    default "32"    if ARCH_mips_o32

    default "n32"   if ARCH_mips_n32

    default "64"    if ARCH_mips_n64