diff options
author | Yunsup Lee <yunsup@cs.berkeley.edu> | 2013-10-10 12:07:30 -0700 |
---|---|---|
committer | Yunsup Lee <yunsup@cs.berkeley.edu> | 2013-10-10 12:07:30 -0700 |
commit | 61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d (patch) | |
tree | 5b841c1675ec91ef3622b278aed6c510f8c2dfe4 /configure | |
parent | b9dc340b7567404c76b6a7e042c2fa3c59787515 (diff) | |
download | spike-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.zip spike-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.tar.gz spike-61d215fc61c66aaaed3e1aaa7f3cb45bfa71b58d.tar.bz2 |
commit configure script; new configure option --enable-commitlog
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -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 + |