diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 55bab4d..f3e63fd 100644 --- a/configure.ac +++ b/configure.ac @@ -56,6 +56,13 @@ AC_ARG_WITH(xlen, AC_SUBST(XLEN, 64) ) +AC_ARG_WITH(base-isa, + [AS_HELP_STRING([--with-base-isa=G/I], + [Sets the base RISC-V ISA to either G or I, defaults to G])], + AC_SUBST(BASE_ISA, $withval), + AC_SUBST(BASE_ISA, G) + ) + AC_ARG_ENABLE(atomic, [AS_HELP_STRING([--disable-atomic], [disable use of atomic memory instructions in glibc @<:@--enable-atomic@:>@])], |