diff options
| author | Tim Newsome <tim@sifive.com> | 2020-02-12 16:14:08 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-12 18:14:08 -0600 |
| commit | 6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1 (patch) | |
| tree | 83947d5fc69b453372f4068aba5d978b33c81e27 /configure | |
| parent | 78344a5a2c88c4c313b8b216bd76f31792812205 (diff) | |
| download | spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.zip spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.tar.gz spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.tar.bz2 | |
Improve --varch error checking. (#394)
* Improve --varch error checking.
Print out why an option has problems.
Add check that elen must be >= xlen, flen, per the spec.
Since RV32G includes D by default, bump default elen to 64.
* Remove debug printf.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1362,7 +1362,7 @@ Optional Packages: --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no) --with-isa=RV64IMAFDC Sets the default RISC-V ISA --with-priv=MSU Sets the default RISC-V privilege modes supported - --with-varch=v128:e32:s128 + --with-varch=v128:e64:s128 Sets the default vector config Some influential environment variables: @@ -4649,7 +4649,7 @@ _ACEOF else cat >>confdefs.h <<_ACEOF -#define DEFAULT_VARCH "v128:e32:s128" +#define DEFAULT_VARCH "v128:e64:s128" _ACEOF fi |