Searched refs:sdkinfo (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py15 def sdkinfo(sdkname): function
24 sim_sdk_info = sdkinfo('iphonesimulator')
25 device_sdk_info = sdkinfo('iphoneos')
H A Dgenerate-osx-source-and-headers.py14 def sdkinfo(sdkname): function
23 desktop_sdk_info = sdkinfo('macosx')

Completed in 28 milliseconds