Add configuration for toolchains without libm

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@517 7fd9a85b-ad96-42d3-883c-3090e2eb8679

4 files changed, 40 insertions, 32 deletions

diff --git a/nuttx/configs/c5471evm/defconfig b/nuttx/configs/c5471evm/defconfig
index ce8e142f6e..85a2b5b8bc 100644
--- a/nuttx/configs/c5471evm/defconfig
+++ b/nuttx/configs/c5471evm/defconfig
@@ -97,6 +97,16 @@ CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
 #
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
+#
 # General OS setup
 #
 # CONFIG_EXAMPLE - identifies the subdirectory in examples
@@ -193,14 +203,6 @@ CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
 #
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
-#
 # Sizes of configurable things (0 disables)
 #
 # CONFIG_MAX_TASKS - The maximum number of simultaneously
diff --git a/nuttx/configs/c5471evm/dhcpconfig b/nuttx/configs/c5471evm/dhcpconfig
index 1526f6149a..555a051abb 100644
--- a/nuttx/configs/c5471evm/dhcpconfig
+++ b/nuttx/configs/c5471evm/dhcpconfig
@@ -97,6 +97,16 @@ CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
 #
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
+#
 # General OS setup
 #
 # CONFIG_EXAMPLE - identifies the subdirectory in examples
@@ -193,14 +203,6 @@ CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
 #
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
-#
 # Sizes of configurable things (0 disables)
 #
 # CONFIG_MAX_TASKS - The maximum number of simultaneously
diff --git a/nuttx/configs/c5471evm/netconfig b/nuttx/configs/c5471evm/netconfig
index 153b3e72ab..1d73d1bbee 100644
--- a/nuttx/configs/c5471evm/netconfig
+++ b/nuttx/configs/c5471evm/netconfig
@@ -66,6 +66,16 @@ CONFIG_ARCH_LEDS=y
 CONFIG_ARCH_STACKDUMP=y
 
 #
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
+#
 # C5471 specific device driver settings
 #
 # CONFIG_SERIAL_IRDA_CONSOLE - selects the IRDA UART for the
@@ -193,14 +203,6 @@ CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
 #
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
-#
 # Sizes of configurable things (0 disables)
 #
 # CONFIG_MAX_TASKS - The maximum number of simultaneously
diff --git a/nuttx/configs/c5471evm/nshconfig b/nuttx/configs/c5471evm/nshconfig
index fc611ac73d..9e185994fd 100644
--- a/nuttx/configs/c5471evm/nshconfig
+++ b/nuttx/configs/c5471evm/nshconfig
@@ -97,6 +97,16 @@ CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
 #
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
+#
 # General OS setup
 #
 # CONFIG_EXAMPLE - identifies the subdirectory in examples
@@ -193,14 +203,6 @@ CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
 #
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
-#
 # Sizes of configurable things (0 disables)
 #
 # CONFIG_MAX_TASKS - The maximum number of simultaneously