diff options
| author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-01-10 16:35:20 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-01-10 16:35:20 -0800 |
| commit | 0cf0242c3bb3fbd9aba37ca21325ea4d11b83f1b (patch) | |
| tree | 38d355d9b28f003ab682e9b75c7552366f37cca8 /configure | |
| parent | b83d64df0179835678c54401ec88bd37e03e19ba (diff) | |
| download | riscv-pk-0cf0242c3bb3fbd9aba37ca21325ea4d11b83f1b.zip riscv-pk-0cf0242c3bb3fbd9aba37ca21325ea4d11b83f1b.tar.gz riscv-pk-0cf0242c3bb3fbd9aba37ca21325ea4d11b83f1b.tar.bz2 | |
[pk] added --disable-fp-emulation option for code size
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -638,6 +638,7 @@ enable_optional_subprojects enable_vm enable_kernel_64bit enable_user_64bit +enable_fp_emulation ' ac_precious_vars='build_alias host_alias @@ -1273,6 +1274,7 @@ Optional Features: --disable-vm Disable virtual memory --disable-kernel-64bit Disable 64-bit kernel operation --disable-user-64bit Disable 64-bit user operation + --disable-fp-emulation Disable floating-point emulation Some influential environment variables: CC C compiler command @@ -4019,6 +4021,19 @@ $as_echo "#define PK_ENABLE_USER_64BIT /**/" >>confdefs.h fi +# Check whether --enable-fp-emulation was given. +if test "${enable_fp_emulation+set}" = set; then : + enableval=$enable_fp_emulation; +fi + +if test "x$enable_fp_emulation" != "xno"; then : + + +$as_echo "#define PK_ENABLE_FP_EMULATION /**/" >>confdefs.h + + +fi + |