# ============================================================================
#
# Helpers specific to GCC compiler
# ================================
#
# This file contains support CMake script for GCC compiler.
#
# Usage
# -----
#
# The file is included by pile_support.cmake if the compiler is
# the one targeted here, so all the user has to do to use it is to:
#
#    include(pile_support)
#
# ============================================================================
