Searched refs:sdk (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dbuild-ios.sh11 local sdk=$2
19 export CFLAGS="-arch ${arch} -isysroot ${sdk} -miphoneos-version-min=${MIN_IOS_VERSION}"
25 build_target "${PLATFORM_IOS}" "${PLATFORM_IOS}/Developer/SDKs/iPhoneOS${SDK_IOS_VERSION}.sdk/" armv6 arm-apple-darwin10 armv6-ios
26 build_target "${PLATFORM_IOS}" "${PLATFORM_IOS}/Developer/SDKs/iPhoneOS${SDK_IOS_VERSION}.sdk/" armv7 arm-apple-darwin10 armv7-ios
27 build_target "${PLATFORM_IOS_SIM}" "${PLATFORM_IOS_SIM}/Developer/SDKs/iPhoneSimulator${SDK_IOS_VERSION}.sdk/" i386 i386-apple-darwin10 i386-ios-sim
H A Dgenerate-ios-source-and-headers.py13 sdk_re = re.compile(r'.*-sdk ([a-zA-Z0-9.]*)')
17 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout:
43 sdk='iphonesimulator' variable in class:simulator_platform
53 sdk='iphoneos' variable in class:device_platform
121 return subprocess.check_output(['xcrun', '-sdk', platform.sdkroot, '-find', cmd]).strip()
H A Dgenerate-osx-source-and-headers.py12 sdk_re = re.compile(r'.*-sdk ([a-zA-Z0-9.]*)')
16 for line in subprocess.Popen(['xcodebuild', '-sdk', sdkname, '-version'], stdout=subprocess.PIPE).stdout:
38 sdk='macosx' variable in class:desktop_platform_32
48 sdk='macosx' variable in class:desktop_platform_64
114 return subprocess.check_output(['xcrun', '-sdk', platform.sdkroot, '-find', cmd]).strip()

Completed in 37 milliseconds