# -----------------------------------------------------------------------------
# The extra arguments to be passed to "./configure".
# -----------------------------------------------------------------------------
# The extra arguments to be passed to "./configure".