Browse Source

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

confprec
Yunsup Lee 13 years ago
parent
commit
61d215fc61
  1. 3
      config.h.in
  2. 15
      configure

3
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

15
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

Loading…
Cancel
Save