diff options
| author | Tim Newsome <tim@sifive.com> | 2020-02-12 16:14:08 -0800 |
|---|---|---|
| committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-02-19 18:50:50 -0800 |
| commit | dceafddd8b9ab3cf5fd1f7526ea53ca8bc0e13dc (patch) | |
| tree | 0802714b4dff1325610a0dba353abb76bea2e6f1 /configure | |
| parent | ff0420606101644507673e8a4a8358c51b8654e6 (diff) | |
| download | spike-dceafddd8b9ab3cf5fd1f7526ea53ca8bc0e13dc.zip spike-dceafddd8b9ab3cf5fd1f7526ea53ca8bc0e13dc.tar.gz spike-dceafddd8b9ab3cf5fd1f7526ea53ca8bc0e13dc.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
@@ -1364,7 +1364,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: @@ -4651,7 +4651,7 @@ _ACEOF else cat >>confdefs.h <<_ACEOF -#define DEFAULT_VARCH "v128:e32:s128" +#define DEFAULT_VARCH "v128:e64:s128" _ACEOF fi |