From 61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Thu, 10 Oct 2013 12:07:30 -0700
Subject: [PATCH] commit configure script; new configure option
 --enable-commitlog

---
 config.h.in |  3 +++
 configure   | 15 +++++++++++++++
 2 files changed, 18 insertions(+)

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]
@@ -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
 
 
-- 
2.30.2