diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-30 20:28:55 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-30 20:29:07 -0700 |
commit | 7f3c072750a71f2800cfb03531ec16699c20bb34 (patch) | |
tree | f92a5276dfb52c35348dd88dc55e3c57d00c5fe1 /configure | |
parent | 180554d8f20e6ed5d90790579b85535c890ebc68 (diff) | |
download | spike-7f3c072750a71f2800cfb03531ec16699c20bb34.zip spike-7f3c072750a71f2800cfb03531ec16699c20bb34.tar.gz spike-7f3c072750a71f2800cfb03531ec16699c20bb34.tar.bz2 |
Implement RVC draft
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -665,6 +665,7 @@ enable_stow enable_optional_subprojects with_fesvr enable_fpu +enable_rvc enable_64bit enable_commitlog enable_histogram @@ -1300,6 +1301,7 @@ Optional Features: --enable-optional-subprojects Enable all optional subprojects --disable-fpu Disable floating-point + --disable-rvc Disable RISC-V Compressed --disable-64bit Disable 64-bit mode --enable-commitlog Enable commit log generation --enable-histogram Enable PC histogram generation @@ -4097,6 +4099,19 @@ $as_echo "#define RISCV_ENABLE_FPU /**/" >>confdefs.h fi +# Check whether --enable-rvc was given. +if test "${enable_rvc+set}" = set; then : + enableval=$enable_rvc; +fi + +if test "x$enable_rvc" != "xno"; then : + + +$as_echo "#define RISCV_ENABLE_RVC /**/" >>confdefs.h + + +fi + # Check whether --enable-64bit was given. if test "${enable_64bit+set}" = set; then : enableval=$enable_64bit; |