diff options
| author | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2010-10-15 17:51:37 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2010-10-15 17:51:37 -0700 |
| commit | 8456c1e923dc515717c92a50b696d0c6d58e4d93 (patch) | |
| tree | f3c2ac5b888bbe03b9ade5d77b6b15cb17b5115d /riscv/riscv.ac | |
| parent | ab928baadbfd3316988a3ad5b5d9b84693a8636f (diff) | |
| download | spike-8456c1e923dc515717c92a50b696d0c6d58e4d93.zip spike-8456c1e923dc515717c92a50b696d0c6d58e4d93.tar.gz spike-8456c1e923dc515717c92a50b696d0c6d58e4d93.tar.bz2 | |
[pk, sim] added FPU emulation support to proxy kernel
Diffstat (limited to 'riscv/riscv.ac')
| -rw-r--r-- | riscv/riscv.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/riscv/riscv.ac b/riscv/riscv.ac index e6866c7..7898145 100644 --- a/riscv/riscv.ac +++ b/riscv/riscv.ac @@ -1,3 +1,13 @@ +AC_ARG_ENABLE([fpu], AS_HELP_STRING([--disable-fpu], [Disable floating-point])) +AS_IF([test "x$enable_fpu" != "xno"], [ + AC_DEFINE([RISCV_ENABLE_FPU],,[Define if floating-point instructions are supported]) +]) + +AC_ARG_ENABLE([64bit], AS_HELP_STRING([--disable-64bit], [Disable 64-bit mode])) +AS_IF([test "x$enable_64bit" != "xno"], [ + AC_DEFINE([RISCV_ENABLE_64BIT],,[Define if 64-bit mode is supported]) +]) + libopc=`dirname \`which riscv-gcc\``/../`$ac_config_guess`/riscv/lib/libopcodes.a AC_CHECK_FILES([$libopc],[have_libopcodes="yes"],[have_libopcodes="no"]) |