diff -r 7e2539937b6e -r 69407950a2a2 config/target.in
--- a/config/target.in	Mon Apr 23 20:30:34 2007 +0000
+++ b/config/target.in	Sat May 19 22:52:47 2007 +0000
@@ -205,6 +205,11 @@
       
       You should check gcc before deciding to use libfloat.
 
+config LIBFLOAT_VERSION
+    string
+    default "990616.orig"
+    depends on ARCH_FLOAT_SW_LIBFLOAT
+
 config TARGET_CFLAGS
     string
     prompt "Target CFLAGS"