diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-10-25 17:10:21 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-10-25 17:10:21 -0700 |
| commit | 6c1d0604dcabf36a6a8d8d9a839b2d4634e202d2 (patch) | |
| tree | 1fce6d9110fe4404663463a3457a45f71f384547 /machine/minit.c | |
| parent | f81b722bf004177eadaf6f1b4b9e699e20257521 (diff) | |
| download | pk-6c1d0604dcabf36a6a8d8d9a839b2d4634e202d2.zip pk-6c1d0604dcabf36a6a8d8d9a839b2d4634e202d2.tar.gz pk-6c1d0604dcabf36a6a8d8d9a839b2d4634e202d2.tar.bz2 | |
Use __riscv_flen macro to detect FP support
Diffstat (limited to 'machine/minit.c')
| -rw-r--r-- | machine/minit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/machine/minit.c b/machine/minit.c index 33a1e3b..b3f2c86 100644 --- a/machine/minit.c +++ b/machine/minit.c @@ -54,7 +54,7 @@ static void fp_init() { assert(read_csr(mstatus) & MSTATUS_FS); -#ifdef __riscv_hard_float +#ifdef __riscv_flen if (!supports_extension('D')) die("FPU not found; recompile pk with -msoft-float"); for (int i = 0; i < 32; i++) |