# --- T2-COPYRIGHT-BEGIN ---
# t2/architecture/riscv/gcc-options.in
# Copyright (C) 2004 - 2026 The T2 SDE Project
# SPDX-License-Identifier: GPL-2.0
# --- T2-COPYRIGHT-END ---

# TODO: wire up all kinds of RV32 variants (probably shared w/ RV64)

if [ "$SDECFG_SOFTFLOAT" = 1 ]; then
	# rv32gc (rc32imafdc), gcv (Zv*) Zb* finx
	var_append GCC_WRAPPER_INSERT " " "-march=rv32imac"
	var_append KCC_WRAPPER_APPEND " " "-march=rv32imac"
fi