[pk, sim] added FPU emulation support to proxy kernel
[riscv-isa-sim.git] / riscv / riscv.ac
1 AC_ARG_ENABLE([fpu], AS_HELP_STRING([--disable-fpu], [Disable floating-point]))
2 AS_IF([test "x$enable_fpu" != "xno"], [
3 AC_DEFINE([RISCV_ENABLE_FPU],,[Define if floating-point instructions are supported])
4 ])
5
6 AC_ARG_ENABLE([64bit], AS_HELP_STRING([--disable-64bit], [Disable 64-bit mode]))
7 AS_IF([test "x$enable_64bit" != "xno"], [
8 AC_DEFINE([RISCV_ENABLE_64BIT],,[Define if 64-bit mode is supported])
9 ])
10
11 libopc=`dirname \`which riscv-gcc\``/../`$ac_config_guess`/riscv/lib/libopcodes.a
12 AC_CHECK_FILES([$libopc],[have_libopcodes="yes"],[have_libopcodes="no"])
13
14 AC_SEARCH_LIBS([bfd_init],[bfd],[],[have_libopcodes="no"])
15
16 AS_IF([test "$have_libopcodes" = "no"],[
17 AC_MSG_WARN([Could not find opcodes library])
18 AC_MSG_WARN([Build will not include disassembly support])
19 ],[
20 LIBS="$libopc $LIBS"
21 AC_DEFINE([RISCV_HAVE_LIBOPCODES],,[Define if libopcodes exists])
22 ])