###############################################################################
# COPYRIGHT - VIX IP PTY LTD ("VIX"). ALL RIGHTS RESERVED.
#
# File:         PLATFORM/UBUNTU12C11_INSTRUMENT
#
# Contents:     GCC 5.2.0 32bit support
#
###############################################################################
#

Ubuntu12C11InstrumentInit();
    
sub Ubuntu12C11InstrumentInit
{
#   Unix platform definitions
#
    $HOST_KERNEL    = "LINUX";
    $HOST_CPU       = "I386";
    $HOST_PROD      = ""                if ( $HOST_PROD eq "" );
    $HOST_FAM       = "LINUX_I386"      if ( $HOST_FAM eq "" );

#   Toolset and generic platforms
#
    Toolset( '*', 'gcc.pl', '--Target=Ubuntu12C11', '--CrossAlias=i686-vix_ubuntu12_c11-linux-gnu', '--UseGcov', '--UseCppcheck', '--LcovExplicitBranch' );
    PlatformRequire( "unix" );
}