aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2015-03-30 20:28:55 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2015-03-30 20:29:07 -0700
commit7f3c072750a71f2800cfb03531ec16699c20bb34 (patch)
treef92a5276dfb52c35348dd88dc55e3c57d00c5fe1 /configure
parent180554d8f20e6ed5d90790579b85535c890ebc68 (diff)
downloadspike-7f3c072750a71f2800cfb03531ec16699c20bb34.zip
spike-7f3c072750a71f2800cfb03531ec16699c20bb34.tar.gz
spike-7f3c072750a71f2800cfb03531ec16699c20bb34.tar.bz2
Implement RVC draft
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure15
1 files changed, 15 insertions, 0 deletions
diff --git a/configure b/configure
index 0152a33..bed5307 100755
--- a/configure
+++ b/configure
@@ -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;