aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYunsup Lee <yunsup@cs.berkeley.edu>2013-10-10 12:07:30 -0700
committerYunsup Lee <yunsup@cs.berkeley.edu>2013-10-10 12:07:30 -0700
commit61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d (patch)
tree5b841c1675ec91ef3622b278aed6c510f8c2dfe4
parentb9dc340b7567404c76b6a7e042c2fa3c59787515 (diff)
downloadriscv-isa-sim-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.zip
riscv-isa-sim-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.tar.gz
riscv-isa-sim-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.tar.bz2
commit configure script; new configure option --enable-commitlog
-rw-r--r--config.h.in3
-rwxr-xr-xconfigure15
2 files changed, 18 insertions, 0 deletions
diff --git a/config.h.in b/config.h.in
index 2ec4911..cac4655 100644
--- a/config.h.in
+++ b/config.h.in
@@ -30,6 +30,9 @@
/* Define if 64-bit mode is supported */
#undef RISCV_ENABLE_64BIT
+/* Enable commit log generation */
+#undef RISCV_ENABLE_COMMITLOG
+
/* Define if floating-point instructions are supported */
#undef RISCV_ENABLE_FPU
diff --git a/configure b/configure
index 9340bfb..448b9f5 100755
--- a/configure
+++ b/configure
@@ -649,6 +649,7 @@ enable_optional_subprojects
with_fesvr
enable_fpu
enable_64bit
+enable_commitlog
'
ac_precious_vars='build_alias
host_alias
@@ -1284,6 +1285,7 @@ Optional Features:
Enable all optional subprojects
--disable-fpu Disable floating-point
--disable-64bit Disable 64-bit mode
+ --enable-commitlog Enable commit log generation
Optional Packages:
--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
@@ -4201,6 +4203,19 @@ $as_echo "#define RISCV_ENABLE_64BIT /**/" >>confdefs.h
fi
+# Check whether --enable-commitlog was given.
+if test "${enable_commitlog+set}" = set; then :
+ enableval=$enable_commitlog;
+fi
+
+if test "x$enable_commitlog" = "xyes"; then :
+
+
+$as_echo "#define RISCV_ENABLE_COMMITLOG /**/" >>confdefs.h
+
+
+fi
+