gcc.ninja

# This file is part of the dune-config-opts project:
#   http://users.dune-project.org/projects/dune-config-opts
# Copyright holders: Rene Milk, Felix Schindler
# License: BSD 2-Clause License (http://opensource.org/licenses/BSD-2-Clause)

DIR="$(cd "$(dirname ${BASH_SOURCE[0]})" ; pwd -P )"
NAME="$(basename ${BASH_SOURCE[0]})"

source ${DIR}/gcc-release
CMAKE_EXTRA='-GNinja'

source ${DIR}/base/gcc