X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=configure;h=2c946e7f398b3c65d4df16f04cae5e62419bae9c;hb=b3e6c1d9292b437c0d1b79799ac594df6a4a3ef0;hp=ca6fd5df2eacd937e3f6de53e1acf8d86072b852;hpb=dd1913e777f97188b0d52318bcd5914a8ba67a12;p=riscv-isa-sim.git

diff --git a/configure b/configure
index ca6fd5d..2c946e7 100755
--- a/configure
+++ b/configure
@@ -699,6 +699,7 @@ ac_user_opts='
 enable_option_checking
 enable_stow
 enable_optional_subprojects
+with_isa
 with_fesvr
 enable_commitlog
 enable_histogram
@@ -1339,6 +1340,7 @@ Optional Features:
 Optional Packages:
   --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
   --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
+  --with-isa=RV64IMAFDC   Sets the default RISC-V ISA
   --with-fesvr            path to your fesvr installation if not in a standard
                           location
 
@@ -4394,6 +4396,23 @@ ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ex
 ac_compiler_gnu=$ac_cv_cxx_compiler_gnu
 
 
+
+# Check whether --with-isa was given.
+if test "${with_isa+set}" = set; then :
+  withval=$with_isa;
+cat >>confdefs.h <<_ACEOF
+#define DEFAULT_ISA "$withval"
+_ACEOF
+
+else
+
+cat >>confdefs.h <<_ACEOF
+#define DEFAULT_ISA "RV64IMAFDC"
+_ACEOF
+
+fi
+
+
 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for library containing dlopen" >&5
 $as_echo_n "checking for library containing dlopen... " >&6; }
 if ${ac_cv_search_dlopen+:} false; then :