commit configure script; new configure option --enable-commitlog

diff --git a/config.h.in b/config.h.in
index 2ec49115309bf6bee29e1f075b009536a839d7de..cac46554b85fb0afb69a80c11728278ed5665183 100644 (file)
--- 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 9340bfba494b93762aa2baf965fd4257f87c8025..448b9f565c7234abc01e1d4cd7de18bee461ba11 100755 (executable)
--- 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]
@@ -4199,6 +4201,19 @@ if test "x$enable_64bit" != "xno"; then :
 $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