diff -r 87802cb25a0f -r 2761b358f9e6 config/target.in
--- a/config/target.in	Fri Jun 27 13:58:53 2008 +0000
+++ b/config/target.in	Fri Jun 27 15:08:43 2008 +0000
@@ -6,10 +6,15 @@
     string
 
 # Pre-declare target optimisation variables
+config ARCH_SUPPORT_ARCH
 config ARCH_ARCH
+config ARCH_SUPPORT_ABI
 config ARCH_ABI
+config ARCH_SUPPORT_CPU
 config ARCH_CPU
+config ARCH_SUPPORT_TUNE
 config ARCH_TUNE
+config ARCH_SUPPORT_FPU
 config ARCH_FPU
 config ARCH_SUPPORTS_BOTH_ENDIAN
 config ARCH_DEFAULT_BE
@@ -59,9 +64,30 @@
 
 comment "Target optimisations"
 
+config ARCH_SUPPORT_ARCH
+    bool
+    default n
+
+config ARCH_SUPPORT_ABI
+    bool
+    default n
+
+config ARCH_SUPPORT_CPU
+    bool
+    default n
+
+config ARCH_SUPPORT_TUNE
+    bool
+    default n
+
+config ARCH_SUPPORT_FPU
+    bool
+    default n
+
 config ARCH_ARCH
     string
     prompt "Architecture level"
+    depends on ARCH_SUPPORT_ARCH
     default ""
     help
       GCC uses this name to determine what kind of instructions it can emit
@@ -81,6 +107,7 @@
 config ARCH_ABI
     string
     prompt "Generate code for the specific ABI"
+    depends on ARCH_SUPPORT_ABI
     default ""
     help
       Generate code for the given ABI.
@@ -97,6 +124,7 @@
 config ARCH_CPU
     string
     prompt "Emit assembly for CPU"
+    depends on ARCH_SUPPORT_CPU
     default ""
     help
       This specifies the name of the target processor. GCC uses this name
@@ -115,6 +143,7 @@
 config ARCH_TUNE
     string
     prompt "Tune for CPU"
+    depends on ARCH_SUPPORT_TUNE
     default ""
     help
       This option is very similar to the ARCH_CPU option (above), except
@@ -137,6 +166,7 @@
 config ARCH_FPU
     string
     prompt "Use specific FPU"
+    depends on ARCH_SUPPORT_FPU
     default ""
     help
       On some targets (eg. ARM), you can specify the kind of FPU to emit