Add configuration for toolchains without libm

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@517 42af7a65-404d-4744-a932-0658087f49c3

Documentation/NuttxPortingGuide.html

@@ -16,7 +16,7 @@
   </b></big>
   <p><small>by</small></p>
   <p>Gregory Nutt</p>
-  <p><small>Last Update: December 30, 2007</small></p>
+  <p><small>Last Update: January 6, 2006</small></p>
 </center>
 
 <center><h1>Table of Contents</h1></center>
@@ -1245,6 +1245,16 @@ The system can be re-made subsequently by just typing <code>make</code>.
     The startaddress of DRAM (virtual)</li>
 </ul>
 
+<p>
+  General build options:
+</p>
+<ul>
+  <li><code>CONFIG_RRLOAD_BINARY</code>:
+    Make the rrload binary format used with BSPs from <a href="www.ridgerun.com">ridgerun.com</a>.</li>
+  <li><code>CONFIG_HAVE_LIBM</code>:
+    Toolchain supports libm.a</li>
+</ul>
+
 <h2>General OS setup</h2>
 
 <ul>

configs/README.txt

@@ -120,6 +120,13 @@ defconfig -- This is a configuration file similar to the Linux
 		CONFIG_DRAM_START - The start address of DRAM (physical)
 		CONFIG_DRAM_VSTART - The startaddress of DRAM (virtual)
 
+
+	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
+
 	General OS setup
 
 		CONFIG_EXAMPLE - identifies the subdirectory in examples

configs/c5471evm/defconfig

@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 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
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 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)
 #

configs/c5471evm/dhcpconfig

@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 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
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 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)
 #

configs/c5471evm/netconfig

@@ -65,6 +65,16 @@ CONFIG_DRAM_END=0x11000000
 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
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 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)
 #

configs/c5471evm/nshconfig

@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 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
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 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)
 #

configs/m68332evb/defconfig

@@ -85,6 +85,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -181,14 +191,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/mcu123-lpc214x/defconfig

@@ -109,6 +109,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -205,14 +215,6 @@ CONFIG_ARCH_KMALLOC=n
 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)
 #

configs/ntosd-dm320/defconfig

@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/ntosd-dm320/netconfig

@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/ntosd-dm320/udpconfig

@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/ntosd-dm320/uipconfig

@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/pjrc-8051/defconfig

@@ -82,6 +82,16 @@ CONFIG_SWITCH_FRAME_DUMP=n
 CONFIG_INTERRUPT_FRAME_DUMP=n
 CONFIG_LED_DEBUG=n
 
+#
+# 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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -178,14 +188,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/sim/defconfig

@@ -151,8 +151,10 @@ CONFIG_ARCH_KFREE=n
 #
 # 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=n
+CONFIG_HAVE_LIBM=y
 
 #
 # Sizes of configurable things (0 disables)

configs/sim/netconfig

@@ -50,6 +50,16 @@ CONFIG_ARCH_SIM=y
 CONFIG_ARCH_BOARD=sim
 CONFIG_ARCH_BOARD_SIM=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=n
+CONFIG_HAVE_LIBM=y
+
 #
 # General OS setup
 #
@@ -147,14 +157,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/z80sim/defconfig

@@ -64,6 +64,16 @@ CONFIG_DRAM_SIZE=65536
 CONFIG_UART_RXBUFSIZE=0
 CONFIG_UART_TXBUFSIZE=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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -160,14 +170,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #

configs/z80sim/nshconfig

@@ -64,6 +64,16 @@ CONFIG_DRAM_SIZE=65536
 CONFIG_UART_RXBUFSIZE=64
 CONFIG_UART_TXBUFSIZE=64
 
+#
+# 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=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -160,14 +170,6 @@ CONFIG_ARCH_KMALLOC=n
 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=n
-
 #
 # Sizes of configurable things (0 disables)
 #