Merge pull request #1054 from riscv-collab/with-isa-spec2022.04.12

Add --with-isa-spec option to configure

1 files changed, 16 insertions, 0 deletions

diff --git a/configure b/configure
index 9d354c2..b69fbba 100755
--- a/configure
+++ b/configure
@@ -604,6 +604,7 @@ newlib_multilib_names
 glibc_multilib_names
 multilib_flags
 multilib_gen
+WITH_ISA_SPEC
 WITH_TUNE
 WITH_ABI
 WITH_ARCH
@@ -671,6 +672,7 @@ enable_linux
 with_arch
 with_abi
 with_tune
+with_isa_spec
 enable_multilib
 with_multilib_generator
 enable_gcc_checking
@@ -1333,6 +1335,8 @@ Optional Packages:
   --with-arch=rv64imafdc  Sets the base RISC-V ISA, defaults to rv64imafdc
   --with-abi=lp64d        Sets the base RISC-V ABI, defaults to lp64d
   --with-tune=rocket      Set the base RISC-V CPU, defaults to rocket
+  --with-isa-spec=2.2     Set the default ISA spec version, default to 2.2,
+                          available options: 2.2, 20190608, 20191213
   --with-multilib-generator
                           Multi-libs configuration string, only supported for
                           bare-metal/elf toolchaih, this option implied
@@ -3301,6 +3305,16 @@ else
 fi
 
 
+
+# Check whether --with-isa-spec was given.
+if test "${with_isa_spec+set}" = set; then :
+  withval=$with_isa_spec;
+else
+  with_isa_spec=2.2
+
+fi
+
+
 if test "x$with_abi" = xdefault; then :
   case $with_arch in #(
   *rv64g* | *rv64*d*) :
@@ -3329,6 +3343,8 @@ WITH_ABI=--with-abi=$with_abi
 
 WITH_TUNE=--with-tune=$with_tune
 
+WITH_ISA_SPEC=--with-isa-spec=$with_isa_spec
+
 
 # Check whether --enable-multilib was given.
 if test "${enable_multilib+set}" = set; then :