ios: detect ios platform based on the target architecture

config/cross-ios-arm7.cbc

@@ -5,4 +5,3 @@ target_arch=Architecture.ARMv7
 target_distro=Distro.IOS
 target_distro_version=DistroVersion.IOS_6_1
 host='arm-apple-darwin'
-ios_platform='iPhoneOS'

config/cross-ios-x86.cbc

@@ -5,4 +5,3 @@ target_arch=Architecture.X86
 target_distro=Distro.IOS
 target_distro_version=DistroVersion.IOS_6_1
 host='i386-apple-darwin'
-ios_platform='iPhoneSimulator'

config/ios.config

@@ -20,6 +20,12 @@ elif target_distro_version == DistroVersion.IOS_6_1:
 else:
   raise FatalError("Distro version %s not supported" %(target_distro_version))
 
+if not ios_platform:
+    if target_arch == Architecture.X86:
+        ios_platform = 'iPhoneSimulator'
+    else:
+        ios_platform = 'iPhoneOS'
+
 # For Xcode >= 4.3, the SDK is installed in a completely different path
 # FIXME This has not been tested, we should check what is the iOS toolchain path
 # for xcode 4.3