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

Ubuntu12InstrumentInit();
    
sub Ubuntu12InstrumentInit
{
#   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=Ubuntu12', '--CrossAlias=i686-linux-gnu', '--UseGcov', '--UseCppcheck', '--LcovExplicitBranch' );
    PlatformRequire( "unix" );
}