diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-09 23:58:17 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-09 23:58:17 -0800 |
| commit | b94c7a4b07f96f24ae7411780abf874416549f7b (patch) | |
| tree | b94ca015e49392f52e5abf1209ee184fcf874db4 /machine/machine.ac | |
| parent | f5a96732cb81571a3ba6b081b8556187d564f678 (diff) | |
| download | riscv-pk-b94c7a4b07f96f24ae7411780abf874416549f7b.zip riscv-pk-b94c7a4b07f96f24ae7411780abf874416549f7b.tar.gz riscv-pk-b94c7a4b07f96f24ae7411780abf874416549f7b.tar.bz2 | |
Refactor pk, bbl, machine into separate libraries
Yuck.
Diffstat (limited to 'machine/machine.ac')
| -rw-r--r-- | machine/machine.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/machine/machine.ac b/machine/machine.ac new file mode 100644 index 0000000..65acf04 --- /dev/null +++ b/machine/machine.ac @@ -0,0 +1,4 @@ +AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation])) +AS_IF([test "x$enable_fp_emulation" != "xno"], [ + AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled]) +]) |