diff options
| author | Kito Cheng <kito.cheng@sifive.com> | 2023-04-18 00:30:26 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-18 00:30:26 +0800 |
| commit | cc3263ac32cd6d8adedc0f22492e6df665a87393 (patch) | |
| tree | f227b5b8f008ae9495e5ee7f666bc8db6d157102 | |
| parent | 29da22cc07860d9ff1fd0e0a675db49c92e5bd31 (diff) | |
| parent | 0ae36fce64a1f9a45747e35583c8f3f6bc482693 (diff) | |
| download | riscv-gnu-toolchain-2023.04.18.zip riscv-gnu-toolchain-2023.04.18.tar.gz riscv-gnu-toolchain-2023.04.18.tar.bz2 | |
Merge pull request #1229 from pz9115/master2023.04.18
Update --with-isa-spec default option.
| -rwxr-xr-x | configure | 12 | ||||
| -rw-r--r-- | configure.ac | 6 |
2 files changed, 10 insertions, 8 deletions
@@ -587,8 +587,8 @@ LIBOBJS qemu_targets enable_libsanitizer with_linux_headers_src -with_pk_src with_dejagnu_src +with_pk_src with_spike_src with_qemu_src with_gdb_src @@ -1350,8 +1350,9 @@ 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-isa-spec=20191213 + Set the default ISA spec version, default to + 20191213, available options: 2.2, 20190608, 20191213 --with-sim=qemu Sets the base RISC-V Simulator, defaults to qemu --with-multilib-generator Multi-libs configuration string, only supported for @@ -1377,6 +1378,8 @@ Optional Packages: --with-qemu-src Set qemu source path, use builtin source by default --with-spike-src Set spike source path, use builtin source by default --with-pk-src Set pk source path, use builtin source by default + --with-dejagnu-src Set dejagnu source path, use builtin source by + default --with-linux-headers-src Set linux-headers source path, use builtin source by default @@ -3328,7 +3331,7 @@ fi if test "${with_isa_spec+set}" = set; then : withval=$with_isa_spec; else - with_isa_spec=2.2 + with_isa_spec=20191213 fi @@ -3731,7 +3734,6 @@ else fi } - { # Check whether --with-dejagnu-src was given. diff --git a/configure.ac b/configure.ac index b838b64..ead25e6 100644 --- a/configure.ac +++ b/configure.ac @@ -72,10 +72,10 @@ AC_ARG_WITH(tune, ) AC_ARG_WITH(isa-spec, - [AS_HELP_STRING([--with-isa-spec=2.2], - [Set the default ISA spec version, default to 2.2, available options: 2.2, 20190608, 20191213])], + [AS_HELP_STRING([--with-isa-spec=20191213], + [Set the default ISA spec version, default to 20191213, available options: 2.2, 20190608, 20191213])], [], - [with_isa_spec=2.2] + [with_isa_spec=20191213] ) AC_ARG_WITH(sim, |